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: George Boolos 22 träffar
Titel | Författare | År | Språk | |
---|---|---|---|---|
1-5 | Computability and logic (flera utgåvor) | George Boolos | cop. 1989 | Engelska |
6 | Logic, logic, and logic | George Boolos | 1998 | Engelska |
7 | The logic of provability | George Boolos | 1993 | Engelska |
8 | logic of provability | George Boolos | 1993 | Okänt |
9 | The unprovability of consistency - an essay in modal logic | George Boolos | 1979 | Engelska |
10-11 | Meaning and method - essays in honor of Hilary Putnam (flera utgåvor) | 2009 | Engelska | |
12-15 | Computability and logic (flera utgåvor) | George. Boolos | uuuu-uuuu | Okänt |
16-17 | Computability and logic / George S. Boolos, John P. Burgess , Richard C. Jeffrey. electronic resource (flera utgåvor) | George Boolos | uuuu-uuuu | Okänt |
18 | The Logic of Provability | George S.. Boolos | 1994 | Engelska |
19 | The logic of provability / George Boolos | George Boolos | uuuu-uuuu | Okänt |
20 | The logic of provability / George Boolos. electronic resource | George Boolos | uuuu-uuuu | Okänt |
1 2 Nästa sida
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.