Jon Barwise ; John Etchemendy
Related books
- Hyperproof: For Macintosh (Center for the Study of Language and Information - Lecture Notes)
- The Language of First-Order Logic : Including the Macintosh Program Tarski's World 4.0/Book and Disk (Csli Lecture Notes, No 23)
- The Language of First-Order Logic: Including the IBM-Compatible Windows Version of Tarski's World 4.0/Book and Disk
- The Liar: An Essay on Truth and Circularity
- Turing's World 3.0 for Windows (Center for the Study of Language and Information Publication Lecture Notes)
- Turing's World 3.0: An Introduction to Computability Theory (Center for the Study of Language and Information - Lecture Notes)