HEIDI

Bitte beachten Sie die Auswahl Ihrer aktuellen Leihzweigstelle. Mit ihr legen Sie fest, welche Ausgabeorte Ihnen bei einer Bestellung oder Vormerkung angeboten werden. Außerdem hat sie Einfluss auf die Anzeige des Ausleihstatus ('ausleihbar' oder 'bestellbar') der Medien.

Suchhistorie (1 Recherche)

Sortierung: Kein Fach bevorzugen

Treffer einschränken:

nur exakte Begriffe

nur Zeitschriften, Zeitungen

ohne Zeitschriften, Zeitungen

nur Online-Angebote

ohne Online-Angebote

ohne Bilder

ohne Universitätsbibliographie

nur Universitätsbibliographie

nur Klass. Archäologie (FID)

nur Kunstgeschichte (FID)

nur Ägyptologie (FID)

1.	Gusfield, Dan: Proven impossible : elementary proofs of profound impossibility from Arrow, Bell, Chaitin, Gödel, Turing and more / Dan Gusfield, University of California, Davis. - Cambridge ; New York, NY ; Port Melbourne ; New Delhi: Cambridge University Press, 2024. - xiv, 254 Seiten : Diagramme, Illustrationen, ISBN 978-1-009-34950-5 Themen: Arrow-Paradoxon \| Bell-Theorem \| Berechnungstheorie \| Beweis \| Gödelscher Unvollständigkeitssatz \| Mathematik \| Unentscheidbarkeit \| Unmöglichkeit Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis	bestellen Signatur: UBN/UB 6000 G982 → Andere Auflagen/Ausgaben
2.	Stegmüller, Wolfgang: Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung / von Wolfgang Stegmüller. - Wien: Springer, 1959. - 114 S. Themen: Entscheidbarkeit \| Metamathematik \| Unentscheidbarkeit \| Unvollständigkeit Buch/keine Angabe → Ähnliche Titel suchen	bestellen Signatur: M 1109-106-5 → Weitere Exemplare → Andere Auflagen/Ausgaben
3.	Rautenberg, Wolfgang: Einführung in die mathematische Logik : ein Lehrbuch / Wolfgang Rautenberg. - 3., überarb. Aufl.. - Wiesbaden: Vieweg + Teubner, 2008. - XXI, 256 S. : graph. Darst., ISBN 978-3-8348-0578-2 (Studium) Themen: Aussagenlogik \| Gödelscher Vollständigkeitssatz \| Lehrbuch \| Mathematische Logik \| Modelltheorie \| Prädikatenlogik \| Unentscheidbarkeit Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis	bestellen Signatur: LN-U 3-7976::(3) → Weitere Exemplare → Andere Auflagen/Ausgaben
4.	Hermes, Hans: Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes. - Berlin ; Heidelberg [u.a.]: Springer, 1965. - IX, 245 S. (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen ; 127) Themen: Algorithmentheorie \| Berechenbarkeit \| Entscheidbarkeit \| Rekursive Funktion \| Turing-Maschine \| Unentscheidbarkeit Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen	bestellen Signatur: 65 B 2888 → Weitere Exemplare → Andere Auflagen/Ausgaben
5.	Rautenberg, Wolfgang: A concise introduction to mathematical logic / Wolfgang Rautenberg. - 2. ed.. - New York, N ; [Heidelberg]Y: Springer, c 2006. - XVII, 256 S. : graph. Darst., ISBN 978-0-387-30294-2 (Universitext) Themen: Aussagenlogik \| Gödelscher Unvollständigkeitssatz \| Logische Programmierung \| Mathematische Logik \| Modelltheorie \| Prädikatenlogik \| Stufe 1 \| Unentscheidbarkeit \| Unifikationstheorie Buch/keine Angabe → Ähnliche Titel suchen Inhaltsverzeichnis: 1, 2	bestellen Signatur: LN-U 1-13840::(2) → Andere Auflagen/Ausgaben
6.	Stegmüller, Wolfgang: Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Goedel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung / Wolfgang Stegmüller. - 2., bericht. Aufl.. - Wien [u.a.]: Springer, 1970. - 114 S. Themen: Entscheidbarkeit \| Erkenntnistheorie \| Logik \| Mathematik \| Metamathematik \| Unentscheidbarkeit \| Unvollständigkeit Buch/keine Angabe → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
7.	Stegmüller, Wolfgang: Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung / von Wolfgang Stegmüller. - 3., verb. Aufl. - Wien [u.a.]: Springer, 1973. - 116 S, ISBN 978-3-211-81208-2 Themen: Church, Alonzo \| Elementare Zahlentheorie \| Gödelscher Unvollständigkeitssatz \| Mathematische Logik \| Unentscheidbarkeit Buch/keine Angabe → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
8.	Epstein, Richard L.: Degrees of unsolvability : structure and theory / Richard L. Epstein. - Berlin ; Heidelberg [u.a.]: Springer, 1979. - XIV, 240 S. : graph. Darst., ISBN 978-3-540-09710-5 (Lecture notes in mathematics ; 759) Themen: Mathematische Logik \| Rekursionstheorie \| Unentscheidbarkeit \| Unlösbarkeit Buch/keine Angabe → Übergeordnete Aufnahme → Ähnliche Titel suchen Inhaltsverzeichnis	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
9.	Epstein, Richard L.: Degrees of Unsolvability: Structure and Theory / by Richard L. Epstein. - Berlin, Heidelberg: Springer Berlin Heidelberg, 1979. - Online-Ressource (XIV, 246 p, online resource), ISBN 978-3-540-38480-9 (Springer eBook Collection : Mathematics and Statistics) (SpringerLink : Bücher) (Lecture Notes in Mathematics ; 759) DOI: 10.1007/BFb0067135 Online-Ressource → Übergeordnete Aufnahme → Ähnliche Titel suchen	online aufrufen → Andere Auflagen/Ausgaben

Bei Erscheinungsjahren bis 1961 prüfen Sie bitte auch die Bestände im DigiKat.

Impressum / Datenschutz Design