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 35 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-32 Computational Logic and Proof Theory (flera utgåvor) Kurt Gödel Colloquium 1997 Engelska
33 Computational logic and proof theory Kurt Gödel Colloquium 1997 : Wien) cop. 1997 Engelska
34 Computational logic and proof theory - proceedings Kurt Gödel Colloquium 1993) Brno : cop. 1993 Engelska
35 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

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.