The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers by John Etchemendy, Jon Barwise
The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers
—
John Etchemendy, Jon Barwise
Add cover

The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers

CSLI Lecture Notes

John Etchemendy, Jon Barwise

336 pages • missing pub info (editions)

nonfiction mathematics philosophy
Powered by AI (Beta)
Loading...

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...

Read more

Community Reviews

Loading...

Content Warnings

Loading...