The language of first-order logic : including the program 'Tarski's world' /
Barwise, Jon.
Etchemendy, John,1952-
Stanford, CA : CSLI Publications,
1990.
With: Diskette 'Tarski's world 3.0', inserted in back pocket.
Tarski's World (Computer program)
First-order logic.