John Etchemendy
7 published titles
The Liar : an essay on truth and circularity
(Contributor)
2 editions
- ISBN: 019505072X
- Oxford University Press
- 1987
- Details
- ISBN: 0195059441
- Oxford University Press
- 1987
- Details
The concept of logical consequence
2 editions
- ISBN: 0674156420
- Harvard University Press
- 1990
- Details
- ISBN: 1575861941
- CSLI Publications
- 1999
- Details
Tarski's World 3.0 : including the Macintosh program
(Contributor)
1 edition
- Center for the Study of Language and Information
- 1991
- Details
Tarski's world : version 4.0 for the Macintosh
(Contributor)
1 edition
- ISBN: 1881526275
- Center for the Study of Language and Information
- 1993
- Details
Turing's World 3.0 for the Macintosh : an introduction to computability theory
(Contributor)
1 edition
- ISBN: 1881526100
- CSLI Publications
- 1993
- Details
Language, proof, and logic : text/software package
(Contributor)
1 edition
- ISBN: 157586374X
- CSLI Publications
- 2002
- Details
Language, proof, and logic
(Contributor)
1 edition
- ISBN: 9781575866321
- CSLI Publications
- 2011
- Details