- Truth-Makers.Kevin Mulligan, Peter M. Simons & Barry Smith - 2007 - In Jean-Maurice Monnoyer (ed.), Metaphysics and Truthmakers. Pisctaway, NJ: Ontos Verlag. pp. 18--9.details
|
|
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.details
|
|
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. [REVIEW]Paul Bernays - 1970 - Journal of Philosophy 67 (4):109-110.details
|
|
Analysing choice sequences.A. S. Troelstra - 1983 - Journal of Philosophical Logic 12 (2):197 - 260.details
|
|
Conceptions of truth in intuitionism.Panu Raatikainen - 2004 - History and Philosophy of Logic 25 (2):131--45.details
|
|
On the idea of a general proof theory.Dag Prawitz - 1974 - Synthese 27 (1-2):63 - 77.details
|
|
Wittgenstein on Rules and Private Language.Christopher Peacocke - 1984 - Philosophical Review 93 (2):263.details
|
|
Truth-Makers.Kevin Mulligan, Peter Simons & Barry Smith - 1984 - Philosophy and Phenomenological Research 44 (3):287-321.details
|
|
Wittgenstein on rules and private language: an elementary exposition.Saul A. Kripke - 1982 - Cambridge: Harvard University Press.details
|
|
Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie.R. Carnap - 1935 - Erkenntnis 5 (1):288-289.details
|
|
Mathematische Grundlagenforschung: Intuitionismus, Beweistheorie.A. Heyting - 1974 - New York: Springer, 1934, t. p..details
|
|
Die intuitionistische grundlegung der mathematik.Arend Heyting - 1931 - Erkenntnis 2 (1):106-115.details
|
|
Elements of Intuitionism.Nicolas D. Goodman - 1979 - Journal of Symbolic Logic 44 (2):276-277.details
|
|
Brouwer's Cambridge lectures on intuitionism.Luitzen Egbertus Jan Brouwer - 1981 - New York: Cambridge University Press. Edited by D. van Dalen.details
|
|
Brouwer's Cambridge Lectures on Intuitionism.R. J. Grayson - 1983 - Journal of Symbolic Logic 48 (1):214-215.details
|
|
The Philosophical Basis of Intuitionistic Logic.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press. pp. 215--247.details
|
|
Truth and other enigmas.Michael Dummett - 1978 - Cambridge: Harvard University Press.details
|
|
From Brouwer to Hilbert: the debate on the foundations of mathematics in the 1920s.Paolo Mancosu (ed.) - 1998 - New York: Oxford University Press.details
|
|
Philosophy of mathematics.Paul Benacerraf (ed.) - 1964 - Englewood Cliffs, N.J.,: Prentice-Hall.details
|
|
The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar Theorem.Mark Van Atten & Göran Sundholm - unknowndetails
|
|
Over de grondslagen der wiskunde..L. E. J. Brouwer - 1907 - Leipzig,: Maas & van Suchtelen.details
|
|
The development of intuitionistic logic.Mark van Atten - unknowndetails
|
|
The foundations of intuitionistic mathematics.Stephen Cole Kleene - 1965 - Amsterdam,: North-Holland Pub. Co.. Edited by Richard Eugene Vesley.details
|
|
Brouwer's Intuitionism.Walter P. Van Stigt - 1990 - North Holland.details
|
|
On Brouwer.Mark van Atten - 2004 - Wadsworth Publishing Company.details
|
|
Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.details
|
|
Truth and Other Enigmas.Michael Dummett - 1978 - Philosophical Quarterly 31 (122):47-67.details
|
|
The development of intuitionistic logic.Mark van Atten - 2008 - Stanford Encyclopedia of Philosophy. The Meta-27here I Am Assuming That’Evidence’Provides the Basis for One’s Doxastic Justification. Additionally, I:en ligne.details
|
|
Wittgenstein on rules and private language.Saul A. Kripke - 1982 - Revue Philosophique de la France Et de l'Etranger 173 (4):496-499.details
|
|
Truth-Makers.Kevin Mulligan, Peter Simons & Barry Smith - 2009 - Swiss Philosophical Preprints.details
|
|
Philosophy of mathematics, selected readings.Paul Benacerraf & Hilary Putnam - 1966 - Revue Philosophique de la France Et de l'Etranger 156:501-502.details
|
|
Brouwer's Intuitionism.W. P. Van Stigt - 1993 - Revue Philosophique de la France Et de l'Etranger 183 (4):746-749.details
|
|
Consciousness, Philosophy, and Mathematics.L. E. J. Brouwer - 1949 - Proceedings of the Tenth International Congress of Philosophy 2:1235-1249.details
|
|