John Etchemendy

Born 1952-01-01

Identifiers

Open LibraryOL19761A

Top Subjects

Logic (5)
Mathematics / Combinatorics (5)
Mathematical foundations (5)
General (3)
Computer Books And Software (3)
Logic, Symbolic and mathematical (2)
Mathematics (2)

Books by John Etchemendy

Total count: 9

The LiarAn Essay on Truth and Circularity

Oxford University Press, USA1987-06-25
The LiarAn Essay on Truth and Circularity

Oxford University Press, USA1989-04-06
The concept of logical consequence

Harvard University Press1990-01-01
Turing's World 3.0An Introduction to Computability Theory (Center for the Study of Language and Information - Lecture Notes)Book and Disk edition

Center for the Study of Language and Inf1993-05-01
Tarski's WorldVersion 4.0 for MS Windows (Center for the Study of Language and Information - Lecture Notes)Pap/Dsk edition

Center for the Study of Language and Inf1993-12-07
Tarski's WorldVersion 4.0 for Macintosh (Center for the Study of Language and Information - Lecture Notes)Pap/Dsk edition

Center for the Study of Language and Inf1993-12-07
HyperproofFor Macintosh (Center for the Study of Language and Information - Lecture Notes)Pap/Dsk edition

Center for the Study of Language and Inf1994-12-20
Language, Proof, and LogicPap/Cdr edition

CSLI Publications1999-08-01
Turing's World 3.0 for Windows (Center for the Study of Language and Information Publication Lecture Notes)

Cambridge University Press2001-01-01