Notre Dame Journal of Formal Logic 32 (4):533-553 (1991)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1305/ndjfl/1093635926
Options
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: 64,046
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Varieties of Constructive Mathematics.D. S. Bridges - 1987 - Cambridge University Press.
Questioning Constructive Reverse Mathematics.I. Loeb - 2012 - Constructivist Foundations 7 (2):131-140.
Did Bishop Have a Philosophy of Mathematics?Helen Billinge - 2003 - Philosophia Mathematica 11 (2):176-194.
Five Papers on Logic and Foundations.G. S. Ceĭtin (ed.) - 1971 - Providence, R.I., American Mathematical Society.
Can Constructive Mathematics Be Applied in Physics?Douglas S. Bridges - 1999 - Journal of Philosophical Logic 28 (5):439-453.
Notes on Constructive Mathematics.Per Martin-Löf - 1970 - Stockholm, Almqvist & Wiksell.

Analytics

Added to PP index
2010-08-24

Total views
12 ( #788,281 of 2,454,486 )

Recent downloads (6 months)
7 ( #98,283 of 2,454,486 )

How can I increase my downloads?

Downloads

My notes