Scan barcode
—
John Etchemendy, Jon Barwise
336 pages • missing pub info (editions)
ISBN/UID: 9780937073902
Format: Paperback
Language: English
Publisher: Center for the Study of Language and Inf
Publication date: 01 December 1992
Description
This text/courseware package presents a new approach to teaching first-order logic. Taking advantage of Tarski's World 4.0, the text skilfully balances the semantic conception of logic with methods of proof. The book contains eleven chapters, in f...
Community Reviews
Content Warnings
—
John Etchemendy, Jon Barwise
336 pages • missing pub info (editions)
ISBN/UID: 9780937073902
Format: Paperback
Language: English
Publisher: Center for the Study of Language and Inf
Publication date: 01 December 1992
Description
This text/courseware package presents a new approach to teaching first-order logic. Taking advantage of Tarski's World 4.0, the text skilfully balances the semantic conception of logic with methods of proof. The book contains eleven chapters, in f...