Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Creating modern probability : its mathematics, physics, and philosophy in historical perspective
Cambridge studies in probability, induction and decision theory
1994
    Datensatz exportieren als...
  • BibTeX
Elements of logical reasoning [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Creating modern probability : its mathematics, physics and philosophy in historical perspective
Cambridge studies in probability, induction, and decision theory
1994
Signatur: TAQ4312
    Datensatz exportieren als...
  • BibTeX
Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics
Vienna Circle Institute Library : 6
1st ed. 2022, 2022
    Datensatz exportieren als...
  • BibTeX
Saved from the Cellar : Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics
Sources and Studies in the History of Mathematics and Physical Sciences
2017
    Datensatz exportieren als...
  • BibTeX
Saved from the Cellar : Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics [electronic resource]
1st ed. 2017, 2017
    Datensatz exportieren als...
  • BibTeX
Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics [electronic resource]
1st ed. 2022, 2022
    Datensatz exportieren als...
  • BibTeX
Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness [electronic resource]
1st ed. 2020, 2020
    Datensatz exportieren als...
  • BibTeX
Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness
Sources and Studies in the History of Mathematics and Physical Sciences
1st ed. 2020, 2020
    Datensatz exportieren als...
  • BibTeX
The Great Formal Machinery Works : Theories of Deduction and Computation at the Origins of the Digital Age
[2017]
    Datensatz exportieren als...
  • BibTeX
Platons "Hippias minor"
Classica Monacensia : 48 (Alle Bände)
2014
    Datensatz exportieren als...
  • BibTeX
Structural proof theory
2001
    Datensatz exportieren als...
  • BibTeX
Proof analysis : a contribution to Hilbert's last problem
2011
    Datensatz exportieren als...
  • BibTeX
Kurt Gödel : the Princeton lectures on intuitionism
[2021]
    Datensatz exportieren als...
  • BibTeX
Kurt Gödel: Results on Foundations
1st ed. 2023, 2023
1 – 15 von 15
Suche als RSS-Feed
Aktive Filter
SchlagwortLogic
Suchergebnisse filtern
Filter anzeigen