Scan barcode
—
John Etchemendy, Jon Barwise
336 pages • missing pub info (editions)
ISBN/UID: 9780937073995
Format: Paperback
Language: English
Publisher: Center for the Study of Language and Informat
Publication date: 30 August 1993
Description
The Language of First-Order Logic is a complete introduction to first-order symbolic logic, consisting of a computer program and a text. The program, an aid to learning and using symbolic notation, allows one to construct symbolic sentences and po...
Community Reviews
Content Warnings
—
John Etchemendy, Jon Barwise
336 pages • missing pub info (editions)
ISBN/UID: 9780937073995
Format: Paperback
Language: English
Publisher: Center for the Study of Language and Informat
Publication date: 30 August 1993
Description
The Language of First-Order Logic is a complete introduction to first-order symbolic logic, consisting of a computer program and a text. The program, an aid to learning and using symbolic notation, allows one to construct symbolic sentences and po...