John Etchemendy
John Etchemendy
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryLP
Language, proof, and logic
cover - Image source: Open LibraryTC
The concept of logical consequence
cover - Image source: Open LibraryH
Hyperproof for the Macintosh
cover - Image source: Open LibraryTW
Tarski's World
cover - Image source: Open LibraryTW
Tarski's World Version 4.0 for MS Windows
cover - Image source: Open LibraryTL
The liar
cover - Image source: Open LibraryTL
The liar
cover - TWTuring's World 3.0 for Windows...John Etchemendy
Turing's World 3.0 for Windows
no cover - TWTuring's World 3.0John Etchemendy
Turing's World 3.0 for the Macintosh
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Language, proof, and logic
- Open Work
The concept of logical consequence
- Open Work
Hyperproof for the Macintosh
- Open Work
Tarski's World
- Open Work
Tarski's World Version 4.0 for MS Windows
- Open Work
The liar
- Open Work
The liar
- Open Work
Turing's World 3.0 for Windows
- Open Work
Turing's World 3.0 for the Macintosh