Home / Authors / Jon Barwise, John Etchemendy

Books by Jon Barwise, John Etchemendy

All books by this author

5 books found
Hyperproof: For Macintosh (Center for the Study of Language and Information - Lecture Notes)
Hyperproof: For Macintosh (Center for the Study of Language…
By: Jon Barwise, John Etchemendy
View Details
The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers (Center for the Study of Language and Information - Lecture Notes)
The Language of First-Order Logic: Including the Windows Pr…
By: Jon Barwise, John Etchemendy
View Details
Turing's World 3.0 for Windows (Center for the Study of Language and Information Publication Lecture Notes)
Turing's World 3.0 for Windows (Center for the Study o…
By: Jon Barwise, John Etchemendy
View Details
The Liar: An Essay on Truth and Circularity
The Liar: An Essay on Truth and Circularity
By: Jon Barwise, John Etchemendy
View Details
Language, Proof and Logic
Language, Proof and Logic
By: Jon Barwise, John Etchemendy
View Details