6 results Refine Results
  1. 1
    by Troelstra, A. S. (Anne Sjerp)
    Published 1977
    Book
    Save to List
    Saved in:
    Choice sequences : a chapter of intuitionistic mathematics /
  2. 2
    by Troelstra, A. S. (Anne Sjerp)
    Published 1988
    Book
    Save to List
    Saved in:
    Constructivism in mathematics : an introduction /
  3. 3
    by Troelstra, A. S. (Anne Sjerp)
    Published 1996
    Book
    Save to List
    Saved in:
    Basic proof theory /
  4. 4
    by Troelstra, A. S. (Anne Sjerp)
    Published 1969
    Book
    Save to List
    Saved in:
    Principles of intuitionism /
  5. 5
    Published 1973
    Other Authors “...Troelstra, A. S. (Anne Sjerp)...”
    Book
    Save to List
    Saved in:
    Metamathematical investigation of intuitionistic arithmetic and analysis /
  6. 6
    Published 1982
    Other Authors
    Conference Proceeding Book
    Save to List
    Saved in:
    The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 /

Search Tools: