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
Sets: naive, axiomatic and applied : a basic compendium with exercises for use in set theory for non logicians, working and teaching mathematicians and students
International series in pure and applied mathematics : 106 (Alle Bände), Pergamon international library of science, technology, engineering and social studies
1. ed, 1978
Signatur: TCS2017
    Datensatz exportieren als...
  • BibTeX
Mystic, geometer and intuitionist : the life of L. E. J. Brouwer ; 1881 - 1966
1999-
Signatur: TASB1160-...
    Datensatz exportieren als...
  • BibTeX
Mystic, geometer and intuitionist : the life of L. E. J. Brouwer ; 1881 - 1966. 1. The dawning revolution
Mystic, geometer and intuitionist (Alle Bände)
Reprint. with corr, 1999 [erschienen] 2002
Signatur: TASB1160-1
    Datensatz exportieren als...
  • BibTeX
Logic and structure
Universitext
5. ed, 2013
Signatur: TVD1591(5)
    Datensatz exportieren als...
  • BibTeX
Sets and integration : an outline of the development
1972
Signatur: TAQ1209
    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
Intuitionismus
1992
Signatur: TCL3987
    Datensatz exportieren als...
  • BibTeX
Logic Colloquium '80: Papers intended for the European Summer Meeting of the Association for Symbolic Logic
Studies in Logic and the Foundations of Mathematics : 108
1982
    Datensatz exportieren als...
  • BibTeX
Logic and structure
Fourth edition, [2004]
    Datensatz exportieren als...
  • BibTeX
Sets and integration An outline of the development [Elektronische Ressource]
1972
    Datensatz exportieren als...
  • BibTeX
Sets and integration : an outline of the development
1st ed. 1972, 1972
    Datensatz exportieren als...
  • BibTeX
Constructivism in mathematics : an introduction. Volume 1
    Datensatz exportieren als...
  • BibTeX
Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic [electronic resource]
    Datensatz exportieren als...
  • BibTeX
Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978 [electronic resource]
    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 The L.E.J. Brouwer Centenary Symposium
1 – 17 von 17
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen