Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!
Sökning efter: John Etchemendy 16 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | Language, proof, and logic | Dave Barker-Plummer | 2011 | Engelska |
| 2 | Hyperproof | Jon Barwise | cop. 1994 | Engelska |
| 3-6 | The language of first-order logic - including the program Tarski's world (flera utgåvor) | Jon Barwise | cop. 1993 | Engelska |
| 7-8 | Language proof and logic (flera utgåvor) | Jon Barwise | cop. 2002 | Engelska |
| 9-10 | The liar - an essay on truth and circularity (flera utgåvor) | Jon Barwise | 1989 | Engelska |
| 11 | The Liar : An Essay on Truth and Circularity | Jon Barwise | 1989 | Engelska |
| 12-13 | Tarski's world - version 4.0 for Macintosh (flera utgåvor) | Jon Barwise | c1993 | Engelska |
| 14 | Turing's World 3.0 for the Macintosh - an introduction to computability theory | Jon Barwise | 1993 | Engelska |
| 15 | The concept of logical consequence | John Etchemendy | 1990 | Engelska |
| 16 | Liar: An Essay on Truth and Circularity | John Etchemendy | 1987 | Okänt |
1
Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.