Notes on constructive mathematics

Stockholm,: Almqvist & Wiksell (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.M34

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The constructive maximal point space and partial metrizability.Michael B. Smyth - 2006 - Annals of Pure and Applied Logic 137 (1-3):360-379.
Constructive Mathematics in Theory and Programming Practice.Douglas Bridges & Steeve Reeves - 1998 - Philosophia Mathematica 6 (3):65-104.
Constructive mathematics in theory and programming practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.
Handbook of Constructive Mathematics.Douglas Bridges, Hajime Ishihara, Michael Rathjen & Helmut Schwichtenberg (eds.) - 2023 - Cambridge: Cambridge University Press.
Reverse Mathematics in Bishop’s Constructive Mathematics.Hajime Ishihara - 2006 - Philosophia Scientiae:43-59.
Studies in constructive mathematics and mathematical logic.A. O. Slisenko (ed.) - 1969 - New York,: Consultants Bureau.
Reverse Mathematics in Bishop’s Constructive Mathematics.Hajime Ishihara - 2006 - Philosophia Scientiae:43-59.
On Constructive Groups.V. A. Lifshits - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 32--35.
Twenty Five Years of Constructive Type Theory.Giovanni Sambin & Jan M. Smith (eds.) - 1998 - Clarendon Press.
Can constructive mathematics be applied in physics?Douglas S. Bridges - 1999 - Journal of Philosophical Logic 28 (5):439-453.

Analytics

Added to PP
2009-01-28

Downloads
6 (#1,481,433)

6 months
6 (#700,231)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

A semantics of evidence for classical arithmetic.Thierry Coquand - 1995 - Journal of Symbolic Logic 60 (1):325-337.
Type theory.Thierry Coquand - 2008 - Stanford Encyclopedia of Philosophy.
The continuum as a formal space.Sara Negri & Daniele Soravia - 1999 - Archive for Mathematical Logic 38 (7):423-447.
An intuitionistic proof of Kruskal’s theorem.Wim Veldman - 2004 - Archive for Mathematical Logic 43 (2):215-264.

View all 11 citations / Add more citations

References found in this work

No references found.

Add more references