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
21 On formally undecidable propositions of Principia mathematica and related systems Kurt Gödel 1992 Engelska
22 Consistency of the Continuum Hypothesis. (AM-3) Kurt Gödel 2016 Okänt
23 Consistency of the Continuum Hypothesis. (AM-3) Kurt. Gödel 2016 Engelska
24 Kurt Gödel : Collected Works, Volume IV Kurt Gödel 2014 Engelska
25 Maximen V / Maxims V Kurt. Gödel 2023 Tyska
26 Kurt Gödel: Collected Works: Volume V: Correspondence, H-Z Kurt Gödel uuuu-uuuu Okänt
27 Kurt Gödel: Collected Works: Volume IV: Selected Correspondence, A-G Kurt Gödel uuuu-uuuu Okänt
28 On formally undecidable propositions of Principia mathematica and related systems Kurt Author Gödel uuuu-uuuu Okänt
29 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
30 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
31 Philosophische Notizbücher / Philosophical Notebooks; Maximen IV / Maxims IV Kurt Gödel 2023 Okänt
32 Philosophische Notizbücher / Philosophical Notebooks; Zeiteinteilung (Maximen) I und II / Time Management (Maxims) I and II Kurt Gödel 2020 Okänt
33 Philosophische Notizbücher / Philosophical Notebooks Maximen VI / Maxims VI Kurt Gödel uuuu-uuuu Okänt
34 Kurt Godel, Collected Works: Publications 1929-1936 Kurt Gödel uuuu-uuuu Okänt
35 Collegium Logicum Kurt-Gödel-Gesellschaft. author. uuuu-uuuu Okänt
36 Philosophische Notizbücher / Philosophical Notebooks; Philosophie I Maximen 0 / Philosophy I Maxims 0 Kurt Gödel 2019 Okänt
37 Philosophische Notizbücher / Philosophical Notebooks; Maximen III / Maxims III Kurt Gödel 2021 Okänt
38 Maximen IV / Maxims IV Kurt. Gödel uuuu-uuuu Okänt
39-40 Computational Logic and Proof Theory (flera utgåvor) 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.