- Godel's functional interpretation.Jeremy Avigad & Solomon Feferman - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 337-405.details
|
|
Brouwer and Weyl: The Phenomenology and Mathematics of the Intuitive Continuum.Mark Atten, Dirk Dalen & Richard Tieszen - 2002 - Philosophia Mathematica 10 (2):203-226.details
|
|
Brouwer and Weyl: The phenomenology and mathematics of the intuitive continuumt.Mark van Atten, Dirk van Dalen & Richard Tieszen - 2002 - Philosophia Mathematica 10 (2):203-226.details
|
|
Brouwer and Weyl: The Phenomenology and Mathematics of the Intuitive Continuum.Mark van Atten, Dirk van Dalen & Richard Tieszen - 2002 - Philosophia Mathematica 10 (2):203-226.details
|
|
Mathematical Logic.Georg Kreisel - 1965 - In Lectures on Modern Mathematics. New York: Wiley. pp. 95-195.details
|
|
Combinatory Logic.Haskell B. Curry, J. Roger Hindley & Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):109-110.details
|
|
Poincaré et le principe d’induction.Jacqueline Boniface - 2004 - Philosophiques 31 (1):131-149.details
|
|
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer.Robert Tragesser, Mark van Atten & Mark Atten (eds.) - 2015 - Cham: Springer Verlag.details
|
|
The undefinability of the set of natural numbers in the ramified Principia.John Myhill - 1974 - In George Nakhnikian (ed.), Bertrand Russell's philosophy. [London]: Duckworth. pp. 19--27.details
|
|
To and from philosophy — discussions with gödel and Wittgenstein.Hao Wang - 1991 - Synthese 88 (2):229 - 277.details
|
|
Martin-Löf Per. An intuitionistic theory of types: predicative part. Logic colloquium '73, Proceedings of the logic colloquium, Bristol, July 1973, edited by Rose H. E. and Shepherdson J. C., Studies in logic and the foundations of mathematics, vol. 80, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, pp. 73–118. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):311-313.details
|
|
L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction.Mark Van Atten & Göran Sundholm - 2017 - History and Philosophy of Logic 38 (1):24-47.details
|
|
Construction and Constitution in Mathematics.Mark van Atten - 2010 - New Yearbook for Phenomenology and Phenomenological Philosophy 10 (1):43-90.details
|
|
Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.details
|
|
Against intuitionism: Constructive mathematics is part of classical mathematics. [REVIEW]W. W. Tait - 1983 - Journal of Philosophical Logic 12 (2):173 - 195.details
|
|
Logic and the Sachverhalt.Barry Smith - 1989 - The Monist 72 (1):52-69.details
|
|
Das problem der zeit bei Husserl. Eine untersuchung über die Husserlschen zeitdiagramme.Alexander Schnell - 2002 - Husserl Studies 18 (2):89-122.details
|
|
An Intuitionistic Theory of Types: Predicative Part.H. E. Rose & J. C. Shepherdson - 1984 - Journal of Symbolic Logic 49 (1):311-313.details
|
|
The epistemic significance of valid inference.Dag Prawitz - 2012 - Synthese 187 (3):887-898.details
|
|
Wittgenstein et le lien entre la signification d’un énoncé mathématique et sa preuve.Mathieu Marion & Mitsuhiro Okada - 2012 - Philosophiques 39 (1):101-124.details
|
|
Husserl's account of phenomenological reflection and four paradoxes of reflexivity.Burt C. Hopkins - 1989 - Research in Phenomenology 19 (1):180-194.details
|
|
Intuitionistic views on the nature of mathematics.Arend Heyting - 1974 - Synthese 27 (1-2):79 - 91.details
|
|
Truth, Proof and Infinity: A Theory of Constructive Reasoning.P. Fletcher - 1998 - Dordrecht, Netherland: Springer.details
|
|
Wang's paradox.Michael Dummett - 1975 - Synthese 30 (3-4):201--32.details
|
|
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.Justus Diller & Kurt Schütte - 1971 - Archive for Mathematical Logic 14 (1-2):69-74.details
|
|
Mathematical Intuition: Phenomenology and Mathematical Knowledge.Richard L. TIESZEN - 1993 - Studia Logica 52 (3):484-486.details
|
|
Historical introduction and fundamental notions.L. E. J. Brouwer - 1981 - In D. van Dalen (ed.), Brouwer’s Cambridge Lectures on Intuitionism. Cambridge University Press. pp. 1–20.details
|
|
Truth, Love and Immortality, and Introduction to McTaggart's Philosophy.P. T. Geach - 1979 - Religious Studies 16 (3):362-364.details
|
|
Introduction to mathematical philosophy.Bertrand Russell - 1920 - Revue de Métaphysique et de Morale 27 (2):4-5.details
|
|
Wittgenstein, Goodstein and the origin of the uniqueness rule for primitive recursive arithmetic.Mathieu Marion & Mitsuhiro Okada - 2018 - In David G. Stern (ed.), Wittgenstein in the 1930s: Between the Tractatus and the Investigations. Cambridge University Press.details
|
|
La Science et l'Hypothèse.Henri Poincaré - 1902 - Revue de Métaphysique et de Morale 11 (1):1-1.details
|
|
Truth and Other Enigmas.Michael Dummett - 1978 - British Journal for the Philosophy of Science 32 (4):419-425.details
|
|
From Frege to Gödel. A Source Book in Mathematical Logic 1879-1931.Jean van Heijenoort - 1968 - Synthese 18 (2-3):302-305.details
|
|
Elements of Intuitionism.Michael Dummett - 1980 - British Journal for the Philosophy of Science 31 (3):299-301.details
|
|
Constructivism in Mathematics, An Introduction.A. Troelstra & D. Van Dalen - 1991 - Tijdschrift Voor Filosofie 53 (3):569-570.details
|
|
Les mathématiques et la logique.H. Poincaré - 1905 - Revue de Métaphysique et de Morale 13 (6):815-835.details
|
|
Science et méthode.H. Poincaré - 1909 - Revue de Métaphysique et de Morale 17 (2):3-4.details
|
|
Einleitung in die Mengenlehre.A. Fraenkel - 1928 - Revue de Métaphysique et de Morale 35 (1):12-13.details
|
|
Poincaré and the Philosophy of Mathematics.Janet Folina - 1993 - Revue Philosophique de la France Et de l'Etranger 183 (3):631-633.details
|
|
Brouwer's Intuitionism.W. P. Van Stigt - 1993 - Revue Philosophique de la France Et de l'Etranger 183 (4):746-749.details
|
|
Intuitionism, an Introduction.A. Heyting - 1958 - Studia Logica 7:277-278.details
|
|
Zehn Vorlesungen über die Grundlegung der Mengenlehre.Adolf Fraenkel - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:156-157.details
|
|
Logistique.L. Couturat - 1906 - Revue de Métaphysique et de Morale 14:208-250.details
|
|
La pensée mathématique en tant que constructrice de réalités nouvelles.Gerhard Heinzmann - 1998 - Philosophia Scientiae 3 (1):99-111.details
|
|
Brentano on Judgement and Truth.Charles Parsons - 2004 - In Dale Jacquette (ed.), The Cambridge Companion to Brentano. Cambridge University Press. pp. 168.details
|
|