The language of first-order logic : including the Mackintosh program Tarski's world 4.0 /
Barwise, Jon.
Etchemendy, John,1952-
Stanford, CA : Center for the Study of Language and Information,
1993.
Includes indexes.
Tarski's World (Computer program)
First-order logic.