The
language of first-order logic
including the Mackintosh program Tarski's world 4.0
Barwise, Jon
creator
Etchemendy, John
1952-
text
cau
Stanford, CA
Center for the Study of Language and Information
c1993
1993
3rd ed., rev. and expanded
monographic
eng
xiv, 313 p. ; 24 cm. + 1 computer disk (3 1/2 in.)
Jon Barwise & John Etchemendy
Tarski's world
First-order logic
BC128 .B37 1993
160
Tarski's world. 1993
CSLI lecture notes ; no. 23
0937073997 (pbk.) :
93000419
DLC
930203
20170402121833.0
27677189