The language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4.0 /

Bibliographic Details

Main Author:	Barwise, Jon
Other Authors:	Etchemendy, John, 1952-
Format:	Book
Language:	English
Published:	Stanford, CA : Center for the Study of Language and Information, [1992]
Edition:	3rd ed., rev. & expanded.
Series:	CSLI lecture notes ; no. 34.
Subjects:	First-order logic. Tarski's world.