The language of first-order logic : including the Mackintosh version of Tarski's world 4.0. (3rd ed.)
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
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