Etchemendy, John, 1952-....
Etchemendy, John
John Etchemendy American logician
VIAF ID: 45476234 ( Personal )
Permalink: http://viaf.org/viaf/45476234
Preferred Forms
- 200 _ | ‡a Etchemendy ‡b John ‡f 1952-....
-
- 100 1 _ ‡a Etchemendy, John
-
-
- 100 1 _ ‡a Etchemendy, John ‡d 1952-
-
- 100 1 _ ‡a Etchemendy, John, ‡d 1952-
-
-
-
- 100 1 _ ‡a Etchemendy, John, ‡d 1952-
- 100 1 _ ‡a Etchemendy, John, ‡d 1952-
-
- 100 1 _ ‡a Etchemendy, John, ‡d 1952-....
- 100 0 _ ‡a John Etchemendy ‡c American logician
4xx's: Alternate Name Forms (10)
5xx's: Related Names (5)
- 510 2 _ ‡a Center for the Study of Language and Information (Stanford, Calif.)
- 510 2 _ ‡a Ostravská univerzita. Filozofická fakulta
- 551 _ _ ‡a Reno, Nev. ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 510 2 _ ‡a Stanford University
- 510 2 _ ‡a Stanford University ‡b Center for the Study of Language and Information ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Concept of logical consequence | |
Hyperproof | |
The language of first-order logic : including the Mackintosh version of Tarski's world 4.0 | |
Language, proof, and logic | |
The liar, 1987: | |
liar an essay on truth and circularity | |
Logical reasoning with diagrams and sentences | |
n86145614 | |
O pojmu logického vyplývání | |
Sprache, Beweis und Logik | |
Tarski's world [Jon Barwise & John Etchemendy]. | |
Tarski's World : version 4.0 for MS Windows | |
Turing's World 3.0 for the Macintosh : an introduction to computability theory | |
Usotsuki | |
うそつき : 真理と循環をめぐる論考 |