Zum Inhalt springen

  1. Dalen, Dirk van [HerausgeberIn] ; European Association for Computer Science Logic, CSL 10 1996 Utrecht

    Computer science logic : 10th international workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996 ; selected papers

    Bücher
    Schließen

    Merkliste

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

    Berlin; Heidelberg [u.a.]: Springer, 1997

    Erschienen in: Lecture notes in computer science ; 1258

  4. Dalen, Dirk van [VerfasserIn]

    Logic and structure - [3., augmented ed.]

    Bücher
    Schließen

    Merkliste

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

    Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong; Barcelona; Budapest: Springer, 1994

    Erschienen in: Universitext

  5. Dalen, Dirk van [VerfasserIn]

    Logic and structure - [2. ed.]

    Bücher
    Schließen

    Merkliste

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

    Berlin; Heidelberg [u.a.]: Springer, 1983

    Erschienen in: Universitext

  6. 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

  9. 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 ; .

  11. Dale, Antonius van [VerfasserIn] ; Boom, Hendrick [DruckerIn]; Boom, Dirk Witwe [DruckerIn]

    Antonii van Dale Poliatri Harlemensis De oraculis veterum ethnicorum dissertationes duae : quarum nunc prior agit de eorum origine atque auctoribus, secunda de ipsorum duratione & interitu - [Editio secunda plurimum adaucta, cui de novo accedunt Dissertatiununculae I. De statua Simoni Mago, ut praetenditur, erecta ... II. De actis Pilati disseritur ... III. Schediasma de consecrationibus, plusquam dimidia parte auctius ...]

    Bücher
    Schließen

    Merkliste

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

    Amstelodami: apud Henricum & viduam Theodori Boom, M.D.CC.

  13. Dalen, Dirk van [VerfasserIn] ; Bezem, Marc [Sonstige Person, Familie und Körperschaft]

    Computer Science Logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers

    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, 1997

    Erschienen in: Lecture notes in computer science ; 1258

  17. Dalen, Dirk van [VerfasserIn] ; Monna, A. F. [Sonstige Person, Familie und Körperschaft]

    Sets and integration An outline of the development

    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.

    Dordrecht: Springer Netherlands, 1972

    Erschienen in: SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics

  19. Freudenthal, Hans [GeistigeR SchöpferIn] ; Springer, Tonny A. [HerausgeberIn]; Dalen, Dirk van [HerausgeberIn]

    Hans Freudenthal : Selecta

    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.

    Zürich: European Mathematical Society, [2009]

    Erschienen in: Heritage of European mathematics

  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