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
The Collected Papers of Gerhard Gentzen
55
2014-06-27
    Datensatz exportieren als...
  • BibTeX
Gentzen oder: Betrunken aufräumen : Kalkülroman
Erste Auflage, 2021
Signatur: CSND1924
    Datensatz exportieren als...
  • BibTeX
The collected papers of Gerhard Gentzen
1969
    Datensatz exportieren als...
  • BibTeX
Gentzen's centenary : the quest for consistency [electronic resource]
1st ed. 2015, 2015
    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
Die gegenwärtige Lage in der mathematischen Grundlagenforschung
Reihe "Libelli" : 209 (Alle Bände)
Unveränd. reprograf. Nachdr. d. Ausg. Leipzig, 1938, 1969
Signatur: M7213
    Datensatz exportieren als...
  • BibTeX
Untersuchungen über das logische Schließen
Reihe "Libelli" : 275 (Alle Bände)
Unveränd. reprogr. Nachdr, 1969
Signatur: M7212
    Datensatz exportieren als...
  • BibTeX
Die Widerspruchsfreiheit der reinen Zahlentheorie
Libelli : 185 (Alle Bände)
Sonderausg., unveränd. reprogr. Nachdr. von 1935, 1967
Signatur: M6800
    Datensatz exportieren als...
  • BibTeX
Gentzens Problem : Mathematische Logik Im Nationalsozialistischen Deutschland
First edition, [2001]
    Datensatz exportieren als...
  • BibTeX
Collegium Logicum [electronic resource]
1st ed. 1995, 1995
    Datensatz exportieren als...
  • BibTeX
Burgenromantik und Burgenrestaurierung um 1900 : der Architekt und Burgenforscher Bodo Ebhardt in seiner Zeit ; [Katalog zur Ausstellung
Veröffentlichungen der Deutschen Burgenvereinigung : Reihe B, Schriften : 7 (Alle Bände)
1999
Signatur: WUJ1790
    Datensatz exportieren als...
  • BibTeX
Advances in proof theory [electronic resource]
1st ed. 2016, 2016
    Datensatz exportieren als...
  • BibTeX
An den Grenzen des Endlichen : Das Hilbertprogramm im Kontext von Formalismus und Finitismus [electronic resource]
1st ed. 2013, 2013
    Datensatz exportieren als...
  • BibTeX
Dag Prawitz on Proofs and Meaning [electronic resource]
1st ed. 2015, 2015
1 – 15 von 15
Suche als RSS-Feed
Aktive Filter
SchlagwortComputer science
Suchergebnisse filtern
Filter anzeigen