Showing 1 - 5 results of 5 for search 'Troelstra Anne Sjerp', query time: 0.01s Refine Results
  1. 1
    Principles of intuitionism : lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y.
    by Troelstra Anne Sjerp
    Springer-Verlag 1969, cop. 1969
    Book
  2. 2
    Basic proof theory
    by Troelstra Anne Sjerp, Schwichtenberg Helmut
    Cambridge University Press cop. 2000
    Book
  3. 3
    Constructivism in mathematics : an introduction
    by Troelstra Anne Sjerp, Dalen Dirk van
    North-Holland cop. 1988
    Book
  4. 4
    Omega-bibliography of mathematical logic : Vol. 6 : Proof theory constructive mathematics
    Book
  5. 5
    Metamathematical investigation of intuitionistic arithmetic and analysis
    Springer 1973, cop. 1973
    Book
Search Tools: RSS Feed – Email Search – Save Search

Do you search an article ?

Check our how-to to find it.