21 results Refine Results
  1. 1
    by Dummett, Michael, 1925-2011
    Published 1977
    Subjects “...Intuitionistic mathematics....”
    Book
    Save to List
    Saved in:
    Elements of intuitionism /
  2. 2
    Subjects “...Intuitionistic mathematics....”
    Book
    Save to List
    Saved in:
    Brouwer's Cambridge lectures on intuitionism /
  3. 3
    by Heyting, A. (Arend), 1898-
    Published 1971
    Subjects “...Intuitionistic mathematics....”
    Book
    Save to List
    Saved in:
    Intuitionism : an introduction.
  4. 4
    by Troelstra, A. S. (Anne Sjerp)
    Published 1969
    Subjects “...Intuitionistic mathematics....”
    Book
    Save to List
    Saved in:
    Principles of intuitionism /
  5. 5
    by Mint︠s︡, G. E.
    Published 2000
    Subjects “...Intuitionistic mathematics....”
    Book
    Save to List
    Saved in:
    A short introduction to intuitionistic logic /
  6. 6
    by Gray, Alistair Gavin
    Published 1977
    Subjects
    Thesis Book
    Save to List
    Saved in:
    Topological methods in second order arithmetic.
  7. 7
    by Troelstra, A. S. (Anne Sjerp)
    Published 1977
    Subjects “...Intuitionistic mathematics....”
    Book
    Save to List
    Saved in:
    Choice sequences : a chapter of intuitionistic mathematics /
  8. 8
    Subjects “...Intuitionistic mathematics....”
    Book
    Save to List
    Saved in:
    Absoluteness of intuitionistic logic /
  9. 9
    by Kleene, Stephen Cole, 1909-
    Published 1965
    Subjects “...Intuitionistic mathematics....”
    Book
    Save to List
    Saved in:
    The foundations of intuitionistic mathematics : especially in relation to recursive functions /
  10. 10
    by Gray, Alistair Gavin
    Published 1977
    Subjects
    Book
    Save to List
    Saved in:
    Topological methods in second order arithmetic.
  11. 11
    by Scarpellini, Bruno
    Published 1971
    Subjects “...Intuitionistic mathematics....”
    Book
    Save to List
    Saved in:
    Proof theory and intuitionistic systems /
  12. 12
    by Luckhardt, Horst
    Published 1973
    Subjects
    Book
    Save to List
    Saved in:
    Extensional Gödel functional interpretation : a consistency proof of classical analysis /
  13. 13
    Published 1981
    Subjects
    Book
    Save to List
    Saved in:
    Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 /
  14. 14
    by Gabbay, Dov M., 1945-
    Published 1981
    Subjects
    Book
    Save to List
    Saved in:
    Semantical investigations in Heyting's intuitionistic logic /
  15. 15
    Published 1985
    Subjects
    Book
    Save to List
    Saved in:
    Intensional mathematics /
  16. 16
    by Fitting, Melvin, 1942-
    Published 1983
    Subjects
    Book
    Save to List
    Saved in:
    Proof methods for modal and intuitionistic logics /
  17. 17
    by Popa, Gabriela
    Published 2003
    Subjects
    Connect to electronic version
    Thesis Book
    Save to List
    Saved in:
    A theoretical constructivisation of mathematical economics : a thesis submitted in fulfilment of the requirements of the degree for Doctorate of Philosophy in Mathematics at the University of Canterbury /
  18. 18
    Published 1973
    Subjects “...Intuitionistic mathematics....”
    Book
    Save to List
    Saved in:
    Metamathematical investigation of intuitionistic arithmetic and analysis /
  19. 19
    Published 1980
    Subjects
    Conference Proceeding Book
    Save to List
    Saved in:
    The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A /
  20. 20
    Subjects
    Book
    Save to List
    Saved in:
    On Brouwer /

Search Tools: