| 1. |
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
 Buch/keine Angabe |
Präsenznutzung
|
|
| 2. |
Maskin, Eric: The Arrow impossibility theorem / Eric Maskin; Amartya Sen with Kenneth J. Arrow, Partha Dasgupta, Prasanta K. Pattanaik, Joseph E. St… . -
New York, N.Y. [u.a.]: Columbia Univ. Press, c 2014. - VI, 152 S., ISBN 978-0-231-15328-7
(Kenneth J. Arrow lecture series)
Buch/keine Angabe |
Signatur: WS/QC 160 M397
|
|
| 3. |
Scarani, Valerio: Bell nonlocality / Valerio Scarani (Centre for Quantum Technologies and Department of Physics, National University of S… . - First edition. -
Oxford, United Kingdom: Oxford University Press, 2019. - 1 Online-Ressource (xiii, 224 Seiten) : Illustrationen, Diagramme, ISBN 978-0-19-878841-6
(Oxford graduate texts)
 Online-Ressource |
|
|
| 4. |
Budiansky, Stephen: Reise zu den Grenzen der Vernunft : Kurt Gödel und die schwerste Krise der Mathematik / Stephen Budiansky ; aus dem Englischen von Hans-Peter Remmler. -
Berlin: Propyläen, [2022]. - 453 Seiten : Illustrationen, ISBN 978-3-549-10039-4
Buch/keine Angabe |
Signatur: UBN/SG 174 B927
|
|
| 5. |
Kennedy, Juliette: Gödel's incompleteness theorems / Juliette Kennedy (University of Helsinki). -
Cambridge: Cambridge University Press, 2022. - 80 Seiten : Illustrationen, ISBN 978-1-108-98699-1
(Cambridge elements : elements in philosophy and logic)
DOI: 10.1017/9781108981972
Buch/keine Angabe |
Signatur: UBN/SK 130 K35
|
|
| 6. |
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.
Buch/keine Angabe |
|
|
| 7. |
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)
Buch/keine Angabe  Inhaltsverzeichnis: 1, 2 |
Signatur: LN-U 1-13840::(2)
|
|
| 8. |
Greenstein, George: Quantum strangeness : wrestling Bell's theorem and the ulitmate nature of reality / George Greenstein. -
Cambridge, MA ; London: The MIT Press, [2019]. - xvi, 137 Seiten : Illustrationen, ISBN 978-0-262-03993-2
Buch/keine Angabe Inhaltsverzeichnis: 1, 2 |
Signatur: UBN/UB 7000 G815
|
|
| 9. |
Scarani, Valerio: Bell nonlocality / Valerio Scarani (Centre for Quantum Technologies and Department of Physics, National University of S… . - First edition. -
Oxford, United Kingdom: Oxford University Press, 2019. - xiii, , 224 Seiten : Illustrationen, Diagramme, ISBN 978-0-19-878841-6
(Oxford graduate texts)
Buch/keine Angabe |
Signatur: UBN/UK 1000 S285
|
|
| 10. |
Shankar, Natarajan: Metamathematics, machines and Gödel's proof / N. Shankar. -
Cambridge [u.a.]: Cambridge Univ. Press, 1994. - XV, 202 S. : graph. Darst., ISBN 978-0-521-42027-3
(Cambridge tracts in theoretical computer science ; 38)
Buch/keine Angabe |
Präsenznutzung
|
|
| 11. |
Cunningham, Daniel W.: Mathematical logic : an introduction / Daniel W. Cunningham. -
Berlin ; Boston: De Gruyter, [2023]. - XIII, 256 Seiten : Illustrationen, ISBN 978-3-11-078201-1
(De Gruyter textbook)
DOI: 10.1515/9783110782073
Buch/keine Angabe Inhaltsverzeichnis: 1, 2 |
Signatur: UBN/SK 130 C973
|
|
| 12. |
Ziegler, Martin: Mathematische Logik / Martin Ziegler. -
Basel: Birkhäuser, 2010. - VIII, 116 S., ISBN 978-3-7643-9973-3
(Mathematik Kompakt)
Buch/keine Angabe |
Signatur: LN-U 3-15715
|
|
| 13. |
Kelly, Jerry S.: Arrow impossibility theorems / Jerry S. Kelly. -
New York, NY [u.a.]: Academic Press, 1978. - XI, 194 S : graph. Darst, ISBN 978-0-12-403350-4
(Economic theory and mathematical economics)
Buch/keine Angabe |
Signatur: WS/QC 160 K29
|
|
| 14. |
Zimmermann, Karl-Heinz: Berechenbarkeit : Berechnungsmodelle und Unentscheidbarkeit / von Karl-Heinz Zimmermann. - 1st ed. 2020.. -
Wiesbaden: Springer Fachmedien Wiesbaden, 2020.. - 1 Online-Ressource(XIII, 67 S. 7 Abb.), ISBN 978-3-658-31739-3
(essentials)
(Springer eBook Collection)
DOI: 10.1007/978-3-658-31739-3
Online-Ressource |
|
|
| 15. |
Hoffmann, Dirk W.: Die Gödel'schen Unvollständigkeitssätze : Eine geführte Reise durch Kurt Gödels historischen Beweis / von Dirk W. Hoffmann. - 2. Aufl. 2017. -
Berlin, Heidelberg: Springer Spektrum, 2017. - Online-Ressource (XI, 356 S. 47 Abb, online resource), ISBN 978-3-662-54300-9
(SpringerLink : Bücher)
DOI: 10.1007/978-3-662-54300-9
Online-Ressource |
|
|
| 16. |
Hoffmann, Dirk W.: Die Gödel’schen Unvollständigkeitssätze : Eine geführte Reise durch Kurt Gödels historischen Beweis / von Dirk W. Hoffmann. -
Heidelberg: Spektrum Akademischer Verlag, 2013. - Online-Ressource (368 S. 66 Abb, digital), ISBN 978-3-8274-3000-7
(SpringerLink : Bücher)
DOI: 10.1007/978-3-8274-3000-7
Online-Ressource |
|
|
| 17. |
Fuchs, Shay: Introduction to proofs and proof strategies / Shay Fuchs (University of Toronto). -
Cambridge, United Kingdom ; New York, NY ; Port Melbourne, Australia ; New Delhi, India ; Singapore: Cambridge University Press, 2023. - xiv, 342 Seiten : Diagramme, Illustrationen, ISBN 978-1-009-09628-7
(Cambridge mathematical textbooks)
DOI: 10.1017/9781009089005
Buch/keine Angabe |
Signatur: UBN/SK 130 F951
|
|
| 18. |
Frese, Yannik: Unmöglichkeit und veränderte Umstände im ALR : die preußische Gesetzgebung und ihre Grundlagen in Vernunftrecht und Usus modernus / Yannik Frese. - 1. Auflage. -
Baden-Baden: Nomos, 2021. - 395 Seiten : Illustrationen, ISBN 978-3-8487-8158-4
(Rheinische Schriften zur Rechtsgeschichte ; Band 26)
Buch/keine Angabe |
ausleihbar  |
|
| 19. |
Smith, Peter: An introduction to Gödel's theorems / Peter Smith. - 2. ed.. -
Cambridge [u.a.]: Cambridge Univ. Press, 2013. - XVI, 388 S. : graph. Darst., ISBN 978-1-107-60675-3
(Cambridge introductions to philosophy)
Buch/keine Angabe |
ausleihbar |
|
| 20. |
Hemmick, Douglas L.: Bell's theorem and quantum realism : reassessment in light of the Schrödinger paradox / Douglas L. Hemmick; Asif M. Shakur. -
[Berlin;] Heidelberg [u.a.]: Springer, 2012. - XII, 97 S., ISBN 978-3-642-23467-5
(Springer briefs in physics)
Buch/keine Angabe |
Präsenznutzung
|
|