Showing 1 - 4 results of 4 for search 'Troelstra, A. S. (Anne Sjerp)', query time: 0.01s Refine Results
  1. 1
    Principles of intuitionism /
    by Troelstra, A. S. (Anne Sjerp)
    Published 1969
    Book
  2. 2
    Basic proof theory /
    by Troelstra, A. S. (Anne Sjerp)
    Published 1996
    Book
  3. 3
    Basic proof theory /
    by Troelstra, A. S. (Anne Sjerp)
    Published 2000
    Book
  4. 4
    Metamathematical investigation of intuitionistic arithmetic and analysis /
    Published 1973
    Other Authors: “…Troelstra, A. S. (Anne Sjerp)…”
    Book
Search Tools: RSS Feed – Email Search