- The Philosophical Basis of Intuitionistic Logic.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press. pp. 215--247.details
|
|
The Law of Excluded Middle Is Synthetic A Priori, If Valid.Neil Tennant - 1996 - Philosophical Topics 24 (1):205-229.details
|
|
Understanding church's thesis.Stewart Shapiro - 1981 - Journal of Philosophical Logic 10 (3):353--65.details
|
|
Incompleteness, mechanism, and optimism.Stewart Shapiro - 1998 - Bulletin of Symbolic Logic 4 (3):273-302.details
|
|
Kant’s Mathematical Realism.Carl J. Posy - 1984 - The Monist 67 (1):115-134.details
|
|
Foundations of Constructive Analysis.Errett Bishop - 1967 - New York, NY, USA: Mcgraw-Hill.details
|
|
Mathematics is megethology.David K. Lewis - 1993 - Philosophia Mathematica 1 (1):3-23.details
|
|
Variations on a thesis: intuitionism and computability.Charles McCarty - 1987 - Notre Dame Journal of Formal Logic 28 (4):536-580.details
|
|
Consciousness, Philosophy, and Mathematics.L. E. J. Brouwer - 1949 - Journal of Symbolic Logic 14 (2):132-133.details
|
|
The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge, Mass.: Harvard University Press.details
|
|
The taming of the true.Neil Tennant - 1997 - New York: Oxford University Press.details
|
|
Elements of Intuitionism.Michael Dummett - 1980 - British Journal for the Philosophy of Science 31 (3):299-301.details
|
|
Intuitionism, an Introduction.A. Heyting - 1958 - Studia Logica 7:277-278.details
|
|
Anti-realism and modality.Stewart Shapiro - 1993 - In J. Czermak (ed.), Philosophy of Mathematics. Hölder-Pichler-Tempsky. pp. 269--287.details
|
|