- Paradoxien des Unendlichen.Bernard Bolzano - 2012 - Hamburg: Felix Meiner Verlag. Edited by Christian Tapp.details
|
|
Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..details
|
|
Die allgemeine Functionentheorie.Paul Du Bois-Reymond - 1968 - Darmstadt,: Wissenschaftliche Buchgesellschaft. Edited by Detlef Laugwitz.details
|
|
Predicative arithmetic.Edward Nelson - 1986 - Princeton, N.J.: Princeton University Press.details
|
|
Tasks and Supertasks.James Thomson - 1954 - Analysis 15 (1):1--13.details
|
|
Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge, Mass.: MIT Press.details
|
|
Foundations of Constructive Mathematics.Michael J. Beeson - 1932 - Springer Verlag.details
|
|
Thesis and Variations.Charles McCarty - 2006 - In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 281-303.details
|
|
Markov's principle, isols and Dedekind finite sets.Charles McCarty - 1988 - Journal of Symbolic Logic 53 (4):1042-1069.details
|
|
On the interpretation of intuitionistic number theory.S. C. Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.details
|
|
On the Interpretation of Intuitionistic Number Theory.S. C. Kleene - 1947 - Journal of Symbolic Logic 12 (3):91-93.details
|
|
Recursive Equivalence Types.J. C. E. Dekker & J. Myhill - 1960 - Journal of Symbolic Logic 25 (4):356-359.details
|
|
Combinatorial Functors.J. N. Crossley & Anil Nerode - 1977 - Journal of Symbolic Logic 42 (4):586-587.details
|
|
Points and Spaces.L. E. J. Brouwer - 1969 - Journal of Symbolic Logic 34 (3):519-519.details
|
|
Was Sind und was Sollen Die Zahlen?Richard Dedekind - 1888 - Cambridge University Press.details
|
|
Wittgenstein's Lectures on the Foundations of Mathematics, Cambridge, 1939.Ludwig Wittgenstein - 1975 - Chicago: University of Chicago Press. Edited by R. G. Bosanquet & Cora Diamond.details
|
|
Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.details
|
|
Predicative Arithmetic.Edward Nelson - 1986 - Studia Logica 48 (1):129-130.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
|
|
Foundations of Constructive Mathematics.Michael J. Beeson - 1987 - Studia Logica 46 (4):398-399.details
|
|