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
Principles of intuitionism : lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY
Lecture notes in mathematics : 95 (Alle Bände)
1969
Signatur: TCL1058
    Datensatz exportieren als...
  • BibTeX
Metamathematical investigation of intuitionistic arithmetic and analysis
Lecture notes in mathematics : 344 (Alle Bände)
1973
Signatur: TCO1362
    Datensatz exportieren als...
  • BibTeX
Choice sequences : a chapter of intuitionistic mathematics
Oxford logic guides
1977
Signatur: TCL2452
    Datensatz exportieren als...
  • BibTeX
Intuitionistic general topology
1966
Signatur: THA1354
    Datensatz exportieren als...
  • BibTeX
Constructivism in mathematics : an introduction. 1
Constructivism in mathematics (Alle Bände), Studies in logic and the foundations of mathematics : 121 (Alle Bände)
1988
Signatur: TCL3660-1
    Datensatz exportieren als...
  • BibTeX
Constructivism in mathematics : an introduction. 2
Constructivism in mathematics (Alle Bände), Studies in logic and the foundations of mathematics : 123 (Alle Bände)
1988
Signatur: TCL3660-2
    Datensatz exportieren als...
  • BibTeX
Constructivism in mathematics : an introduction
Studies in logic and the foundations of mathematics : ...
Signatur: TCL3660-...
    Datensatz exportieren als...
  • BibTeX
The L. E. J. Brouwer Centenary Symposium : proceedings of the Conference held in Noordwijkerhout, 8 - 13 June, 1981
Studies in logic and the foundations of mathematics : 110 (Alle Bände)
1982
Signatur: TAY810876
1 – 8 von 8
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen