Barwise, Jon

The language of first-order logic : including the Mackintosh version of Tarski's world 4.0. (3rd ed.) - 3rd ed. - Stanford, Calif. : Center for the Study of Language and Information 1993 - xiv, 313 p. 24 cm. - CSLI lecture notes no. 23 .

0937073997


Tarski's world
PHILOSOPHY
LOGIC
First-order logic

BC 128 Bar