The Foundations of Intuitionistic Mathematics

Amsterdam: North-Holland Pub. Co. (1965)

Abstract This article has no associated abstract. (fix it)
Keywords Intuitionistic mathematics  Recursive functions
Categories (categorize this paper)
Buy this book $222.59 used   Amazon page
Call number QA9.K648
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,607
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

A Topological Model for Intuitionistic Analysis with Kripke's Scheme.M. D. Krol - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):427-436.
Proof Theory and Constructive Mathematics.Anne S. Troelstra - 1977 - In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. pp. 973--1052.

View all 29 citations / Add more citations

Similar books and articles


Added to PP index

Total views

Recent downloads (6 months)

How can I increase my downloads?


Sorry, there are not enough data points to plot this chart.

My notes