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
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
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
Sources and Studies in the History of Mathematics and Physical Sciences
1st ed. 2021, 2021
1 – 10 von 10
Suche als RSS-Feed
Aktive Filter
Art des InhaltsNicht angegeben
Suchergebnisse filtern
Filter anzeigen