- Constructivism in mathematics: an introduction.A. S. Troelstra - 1988 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. Edited by D. van Dalen.details
|
|
Mathematische grundlagenforschung: intuitionismus, beweistheorie.A. Heyting - 1934 - Berlin,: J. Springer.details
|
|
Mathematical Logic.Georg Kreisel - 1965 - In Lectures on Modern Mathematics. New York: Wiley. pp. 95-195.details
|
|
Proof theory and constructive mathematics.Anne S. Troelstra - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 973--1052.details
|
|
Intuitionism.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..details
|
|
The intended interpretation of intuitionistic logic.Scott Weinstein - 1983 - Journal of Philosophical Logic 12 (2):261 - 270.details
|
|
Logic and structure.D. van Dalen - 1980 - New York: Springer Verlag.details
|
|
Constructions, proofs and the meaning of logical constants.Göran Sundholm - 1983 - Journal of Philosophical Logic 12 (2):151 - 172.details
|
|
Meaning and proofs: On the conflict between classical and intuitionistic logic.Dag Prawitz - 1977 - Theoria 43 (1):2--40.details
|
|
Truth of a proposition, evidence of a judgement, validity of a proof.Per Martin-Löf - 1987 - Synthese 73 (3):407 - 420.details
|
|
Varieties of constructive mathematics.D. S. Bridges - 1987 - New York: Cambridge University Press. Edited by Fred Richman.details
|
|
Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.details
|
|
Vestiges of realism.Göran Sundholm - 1994 - In Brian McGuiness & Gianluigi Oliveri (eds.), The Philosophy of Michael Dummett. Kluwer Academic Publishers. pp. 137--165.details
|
|
Constructivism in Mathematics, An Introduction.A. Troelstra & D. Van Dalen - 1991 - Tijdschrift Voor Filosofie 53 (3):569-570.details
|
|
Intuitionism, an Introduction.A. Heyting - 1958 - Studia Logica 7:277-278.details
|
|