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: Kurt Gödel 43 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 41 | Computational logic and proof theory | Kurt Gödel Colloquium 1997 : Wien) | cop. 1997 | Engelska |
| 42 | Computational logic and proof theory - proceedings | Kurt Gödel Colloquium 1993) Brno : | cop. 1993 | Engelska |
| 43 | Computer science logic. - 17th international workshop, CSL 2003, 12th annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings | 2003 | Engelska |
Förra sidan 1 2 3
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.