You need to sign in or sign up before continuing.

John Etchemendy

13 books

Language, Proof, and Logic: Second Edition by John Etchemendy, Jon Barwise, David Barker-Plummer

Language, Proof, and Logic: Second Edition

John Etchemendy, Jon Barwise, David Barker-Plummer

650 pages • paperback • 2011

nonfiction computer science philosophy science informative slow-paced
The Liar: An Essay on Truth and Circularity by John Etchemendy, Jon Barwise

The Liar: An Essay on Truth and Circularity

John Etchemendy, Jon Barwise

208 pages • paperback

nonfiction philosophy informative reflective medium-paced
Logical Reasoning with Diagrams and Sentences: Using Hyperproof by John Etchemendy, Jon Barwise, David Barker-Plummer

Logical Reasoning with Diagrams and Sentences: Using Hyperproof

Lecture Notes

John Etchemendy, Jon Barwise, David Barker-Plummer

227 pages • paperback

nonfiction philosophy informative reflective medium-paced
The Concept of Logical Consequence by John Etchemendy

The Concept of Logical Consequence

David Hume

John Etchemendy

176 pages • paperback

nonfiction philosophy
Hyperproof, Volume 42: For Macintosh by John Etchemendy, Jon Barwise

Hyperproof, Volume 42: For Macintosh

Lecture Notes

John Etchemendy, Jon Barwise

254 pages • paperback

nonfiction computer science philosophy medium-paced
The Language of First-Order Logic, Including Tarski's World 3.0 (Mac) by John Etchemendy, Jon Barwise
The Language of First-Order Logic, Including Tarski's World 3.0 (Mac)
—
John Etchemendy, Jon Barwise

The Language of First-Order Logic, Including Tarski's World 3.0 (Mac)

CSLI Lecture Notes

John Etchemendy, Jon Barwise

316 pages • paperback

nonfiction classics mathematics philosophy medium-paced
The Language of First-Order Logic, Including Tarski's World 3.0 (Windows) by John Etchemendy, Jon Barwise
The Language of First-Order Logic, Including Tarski's World 3.0 (Windows)
—
John Etchemendy, Jon Barwise

The Language of First-Order Logic, Including Tarski's World 3.0 (Windows)

CSLI Lecture Notes

John Etchemendy, Jon Barwise

280 pages • paperback

nonfiction mathematics philosophy
The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0 by John Etchemendy, Jon Barwise
The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0
—
John Etchemendy, Jon Barwise

The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0

Studies on the Economic Future of North America

John Etchemendy, Jon Barwise

336 pages • paperback

nonfiction mathematics philosophy
Language, Proof and Logic With Software by John Etchemendy, Dave Barker-Plummer, Jon Barwise

Language, Proof and Logic With Software

John Etchemendy, Dave Barker-Plummer, Jon Barwise

606 pages • 1999

nonfiction philosophy reference informative slow-paced
Language, Proof and Logic, 2nd Edition by John Etchemendy, Dave Barker-Plummer, Jon Barwise, Jon Barwise

Language, Proof and Logic, 2nd Edition

John Etchemendy, Dave Barker-Plummer, Jon Barwise, Jon Barwise

missing page info • 1999

challenging informative reflective slow-paced