Book Sources
Hinweis: Links zu Amazon sind Partnerlinks. Bei einem Kauf erhalte ich eine kleine Provision, für dich entstehen keine Mehrkosten.
1. Einführung in die Mathematische Logik: Ein Lehrbuch
W. Rautenberg · 3., überarbeitete Auflage · Vieweg+Teubner, 2008
2. Klassische und nichtklassische Aussagenlogik
W. Rautenberg · Vieweg+Teubner Verlag, 1979
3. Logik der Forschung (1934)
K. R. Popper · Tübingen: Mohr Siebeck, 1966
4. Mathematische Logik
M. Ziegler, M. Brokate, H. W. Engl · Springer, 2010
5. Peano’s Axiom System
H. Hermes · In: Introduction to Mathematical Logic · S. 144–165, 1973
6. Andrew Wiles’ Proof of Fermat’s Last Theorem
W. H. Wheeler · ArXiv Preprint ArXiv230907151, 2023
7. Every Planar Map is Four Colorable (Bd. 98)
K. I. Appel, W. Haken · American Mathematical Society, 1989
8. The Formal Proof of the Kepler Conjecture: A Critical Retrospective
T. Hales · ArXiv Preprint ArXiv240208032, 2024
9. Einführung in die mathematische Logik
H.-D. Ebbinghaus, J. Flum, W. Thomas · Springer, 1978
13. Datenstrukturen
T. Härder · Universität Kaiserslautern · Online verfügbar