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.