Search results for: Troelstra, A. S. (Anne Sjerp)

Showing 1 - 6 results of 6 Refine Results
  1. 1

    Constructivism in mathematics : an introduction

    Authors: Troelstra, A. S. (Anne Sjerp)
    Published: North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988
    Physical Description: 2 volumes (xx, 879, lii pages) : illustrations ; 23 cm.
    Book
  2. 2

    Basic proof theory

    Authors: Troelstra, A. S. (Anne Sjerp)
    Published: Cambridge University Press, 1996
    Physical Description: xi, 343 pages : illustrations ; 24 cm.
    Book
  3. 3

    Bibliography of natural history travel narratives

    Published: KNNV Publishing, 2016
    Other Authors: “…Troelstra, A. S. (Anne Sjerp)…”
    Physical Description: 460 pages ; 29 cm
    Book
  4. 4

    Bibliography of natural history travel narratives

    Published: KNNV Publishing, 2016
    Other Authors: “…Troelstra, A. S. (Anne Sjerp)…”
    EBSCO eBooks: 2016 (EBSCO)
    eBook Academic Collection (EBSCOhost) – North America: 2016 (EBSCO)
    Electronic eBook
  5. 5

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

    Published: North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982
    Other Authors: “…Troelstra, A. S. (Anne Sjerp)…”
    ScienceDirect eBooks - Mathematics Legacy 1: 1982 (ScienceDirect)
    ScienceDirect eBooks - Mathematics pre-2007: 1982 (ScienceDirect)
    Electronic Conference Proceeding eBook
  6. 6

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

    Published: North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982
    Other Authors: “…Troelstra, A. S. (Anne Sjerp)…”
    Physical Description: ix, 523 pages ; 23 cm.
    Conference Proceeding Book