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 44 träffar

Titel Författare År Språk
21 Kurt Gödel : Collected Works, Volume V Kurt Gödel 2014 Engelska
22 Maximen IV / Maxims IV Kurt. Gödel 2023 Tyska
23 Maximen IV / Maxims IV Kurt. Gödel uuuu-uuuu Okänt
24 Maximen V / Maxims V Kurt. Gödel 2023 Tyska
25-26 On formally undecidable propositions of 'Principia mathematica' and related systems (flera utgåvor) Kurt Gödel cop. 1962 Engelska
27 On undecidable propositions of formal mathematical systems - notes on lectures by Kurt Gödel, February - May, 1934 Kurt Gödel 1934 Engelska
28 Philosophische Notizbücher / Philosophical Notebooks; Maximen IV / Maxims IV Kurt Gödel 2023 Okänt
29 Philosophische Notizbücher / Philosophical Notebooks Maximen VI / Maxims VI Kurt Gödel uuuu-uuuu Okänt
30 Philosophische Notizbücher / Philosophical Notebooks; Philosophie I Maximen 0 / Philosophy I Maxims 0 Kurt Gödel 2019 Okänt
31 "Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings" Kurt Gödel Colloquium 1997 Okänt
32 Computational Logic and Proof Theory electronic resource : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici Kurt Gödel Colloquium uuuu-uuuu Okänt
33 Computational Logic and Proof Theory electronic resource : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici Kurt Gödel Colloquium uuuu-uuuu Okänt
34 Collegium Logicum Kurt-Gödel-Gesellschaft. author. uuuu-uuuu Okänt
35 Kurt Gödel: Collected Works: Volume IV: Selected Correspondence, A-G Kurt Gödel uuuu-uuuu Okänt
36 Kurt Gödel: Collected Works: Volume V: Correspondence, H-Z Kurt Gödel uuuu-uuuu Okänt
37 Philosophische Notizbücher / Philosophical Notebooks; Maximen III / Maxims III Kurt Gödel 2021 Okänt
38 Philosophische Notizbücher / Philosophical Notebooks; Zeiteinteilung (Maximen) I und II / Time Management (Maxims) I and II Kurt Gödel 2020 Okänt
39 Mathematical logic and its applications cop. 1987 Engelska
40 Computational Logic and Proof Theory Kurt Gödel Colloquium 1997 Engelska

Förra sidan 1 2 3 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.