Tractarian Expressions and their Use in Constructive Mathematics
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesA. O. Slisenko (ed.) (1969). Studies in Constructive Mathematics and Mathematical Logic. New York, Consultants Bureau.
G. S. Ceĭtin (ed.) (1971). Five Papers on Logic and Foundations. Providence, R.I.,American Mathematical Society.
Solomon Feferman, Relationships Between Constructive, Predicative and Classical Systems of Analysis.
Helen Billinge (2003). Did Bishop Have a Philosophy of Mathematics? Philosophia Mathematica 11 (2):176-194.
Laura Crosilla & Peter Schuster (eds.) (2005). From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics. Oxford University Press.
I. Loeb (2012). Questioning Constructive Reverse Mathematics. Constructivist Foundations 7 (2):131-140.
Douglas Bridges & Steeve Reeves (1999). Constructive Mathematics in Theory and Programming Practice. Philosophia Mathematica 7 (1):65-104.
H. Billinge (2000). Applied Constructive Mathematics: On Hellman's 'Mathematical Constructivism in Spacetime'. British Journal for the Philosophy of Science 51 (2):299-318.
D. S. Bridges (1987). Varieties of Constructive Mathematics. Cambridge University Press.
Analytics
Monthly downloads |
Added to index2010-07-27Total downloads2 ( #232,575 of 549,113 )Recent downloads (6 months)1 ( #63,361 of 549,113 )How can I increase my downloads? |
My notes
Discussion
