The language of first-order logic including the Macintosh program Tarski's world 3.0 /
Barwise, Jon
The language of first-order logic including the Macintosh program Tarski's world 3.0 / Jon Barwise, John Etchemendy. - 2nd ed., rev. and expanded - Menlo Park, Calif. : Center for the Study of Language and Information, c1991. - xiv, 297p. illustrations ; 23 cm. - CSLI lecture notes ; no. 23 .
0937073741
First-order logic
Tarski's world (Computer program)
BC128 / B28 1991
The language of first-order logic including the Macintosh program Tarski's world 3.0 / Jon Barwise, John Etchemendy. - 2nd ed., rev. and expanded - Menlo Park, Calif. : Center for the Study of Language and Information, c1991. - xiv, 297p. illustrations ; 23 cm. - CSLI lecture notes ; no. 23 .
0937073741
First-order logic
Tarski's world (Computer program)
BC128 / B28 1991