Zum Inhalt springen

  8. Troelstra, Anne S. [VerfasserIn]; Dalen, Dirk van [VerfasserIn]

    Constructivism in mathematics : an introduction

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam: North-Holland, 1988

    Erschienen in: Studies in logic and the foundations of mathematics ; .

  9. Troelstra, Anne S. [HerausgeberIn]; Dalen, Dirk van [Sonstige Person, Familie und Körperschaft]; Brouwer, Luitzen E. J. [GefeierteR] ; L. E. J. Brouwer Centenary Symposium 1981 Noordwijkerhout

    The L. E. J. Brouwer Centenary Symposium : proceedings of the conference, held in Noordwijkerhout, 8 - 13 june, 1981

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam [u.a.]: North-Holland Publ. Comp., 1982

    Erschienen in: Studies in logic and the foundations of mathematics ; 11000

  12. Troelstra, Anne S. [VerfasserIn]

    Principles of Intuitionism : Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1969

    Erschienen in: Lecture notes in mathematics ; 95

  13. Schwichtenberg, Helmut [MitwirkendeR]; Troelstra, Anne S. [MitwirkendeR]

    Mathematische Logik - [published Version]

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oberwolfach-Walke : Mathematisches Forschungsinstitut Oberwolfach, 2002

    Erschienen in: Oberwolfach reports : OWR 18 (2002)

  14. Felscher, Walter [HerausgeberIn]; Schwichtenberg, Helmut [HerausgeberIn]; Troelstra, Anne S. [HerausgeberIn]

    Mathematische Logik : 02.04. - 08.04.1995

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oberwolfach-Walke: Mathematisches Forschungsinstitut, 1995 ; Online-Ausg.: Oberwolfach: Math. Forschungsinst., 2009

    Erschienen in: Mathematisches Forschungsinstitut Oberwolfach: Tagungsbericht ; 1995,13

  15. Felscher, Walter [HerausgeberIn]; Schwichtenberg, Helmut [HerausgeberIn]; Troelstra, Anne S. [HerausgeberIn]

    Mathematische Logik : 12.4. bis 18.04.1992

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oberwolfach: Math. Forschungsinst., 1992 ; Online-Ausg.: Oberwolfach: Math. Forschungsinst., 2009

    Erschienen in: Mathematisches Forschungsinstitut Oberwolfach: Tagungsbericht ; 1992,16

  16. Felscher, Walter [HerausgeberIn]; Schwichtenberg, Helmut [HerausgeberIn]; Troelstra, Anne S. [HerausgeberIn]

    Mathematische Logik : 16.12. bis 22.12.1990

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oberwolfach: Math. Forschungsinst., 1990 ; Online-Ausg.: Oberwolfach: Math. Forschungsinst., 2009

    Erschienen in: Mathematisches Forschungsinstitut Oberwolfach: Tagungsbericht ; 1990,55

  17. Felscher, Walter [HerausgeberIn]; Schwichtenberg, Helmut [HerausgeberIn]; Troelstra, Anne S. [HerausgeberIn]

    Mathematische Logik : 6.11. bis 12.11.1988

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oberwolfach: Math. Forschungsinst., 1988 ; Online-Ausg.: Oberwolfach: Math. Forschungsinst., 2009

    Erschienen in: Mathematisches Forschungsinstitut Oberwolfach: Tagungsbericht ; 1988,47

  18. Felscher, Walter [HerausgeberIn]; Schwichtenberg, Helmut [HerausgeberIn]; Troelstra, Anne S. [HerausgeberIn]

    Mathematische Logik : 19.4. bis 25.4.1987

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oberwolfach, 1987 ; Online-Ausg.: Oberwolfach: Math. Forschungsinst., 2009

    Erschienen in: Mathematisches Forschungsinstitut Oberwolfach: Tagungsbericht ; 1987,17

  19. Müller, Gert H. [HerausgeberIn]; Troelstra, Anne S. [HerausgeberIn]

    Intuitionistische Metamathematik : 27.1. bis 2.2.1974

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oberwolfach: Math. Forschungsinst., 1974 ; Online-Ausg.: Oberwolfach: Math. Forschungsinst., 2009

    Erschienen in: Mathematisches Forschungsinstitut Oberwolfach: Tagungsbericht ; 1974,5

  20. Troelstra, Anne S. [Sonstige Person, Familie und Körperschaft]; Dalen, Dirk van [Sonstige Person, Familie und Körperschaft]

    Constructivism in mathematics : Volume 1 ; an introduction

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam: North-Holland, 1988

    Erschienen in: Studies in logic and the foundations of mathematics ; v. 121