Semantical analysis of speci logic (1990)

by R D Tennant
Venue:Information and Computation