- On the meanings of the logical constants and the justifications of the logical laws.Per Martin-Löf - 1996 - Nordic Journal of Philosophical Logic 1 (1):11-60.details
|
|
Proof theory of reflection.Michael Rathjen - 1994 - Annals of Pure and Applied Logic 68 (2):181-224.details
|
|
The Recursively Mahlo Property in Second Order Arithmetic.Michael Rathjen - 1996 - Mathematical Logic Quarterly 42 (1):59-66.details
|
|
(1 other version)Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.details
|
|
Admissible sets and structures: an approach to definability theory.Jon Barwise - 1975 - New York: Springer Verlag.details
|
|
Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.details
|
|
(2 other versions)The Superjump in Martin-Löf Type Theory.Michael Möllerfeld - 2002 - Bulletin of Symbolic Logic 8 (4):538-538.details
|
|
Naturalism in mathematics.Penelope Maddy - 1997 - New York: Oxford University Press.details
|
|
(1 other version)The formulæ-as-types notion of construction.W. A. Howard - 1995 - In Philippe De Groote (ed.), The Curry-Howard isomorphism. Louvain-la-Neuve: Academia.details
|
|
Realism in mathematics.Penelope Maddy - 1990 - New York: Oxford University Prress.details
|
|
Constructivism in Mathematics: An Introduction.A. S. Troelstra & Dirk Van Dalen - 1988 - Amsterdam: North Holland. Edited by D. van Dalen.details
|
|
(2 other versions)Recursion-Theoretic Hierarchies.Wayne Richter - 1983 - Journal of Symbolic Logic 48 (2):497-498.details
|
|
Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.details
|
|
Partial realizations of Hilbert's program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.details
|
|
Hilbert's program relativized: Proof-theoretical and foundational reductions.Solomon Feferman - 1988 - Journal of Symbolic Logic 53 (2):364-384.details
|
|
(1 other version)Grundlagen der Mathematik II.D. Hilbert & P. Bernays - 1974 - Journal of Symbolic Logic 39 (2):357-357.details
|
|
Proof-theoretic analysis of KPM.Michael Rathjen - 1991 - Archive for Mathematical Logic 30 (5-6):377-403.details
|
|
Combinatory logic.Haskell Brooks Curry - 1958 - Amsterdam,: North-Holland Pub. Co..details
|
|
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program.Richard Zach - 2003 - Synthese 137 (1-2):211 - 259.details
|
|
Hilbert's program sixty years later.Wilfried Sieg - 1988 - Journal of Symbolic Logic 53 (2):338-348.details
|
|
(1 other version)Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.details
|
|
Uniformly defined descending sequences of degrees.Harvey Friedman - 1976 - Journal of Symbolic Logic 41 (2):363-367.details
|
|
Does mathematics need new axioms.Solomon Feferman, Harvey M. Friedman, Penelope Maddy & John R. Steel - 1999 - Bulletin of Symbolic Logic 6 (4):401-446.details
|
|
(1 other version)Meaning and proofs: On the conflict between classical and intuitionistic logic.Dag Prawitz - 1977 - Theoria 43 (1):2--40.details
|
|
(2 other versions)Philosophy of Mathematics and Natural Science.Hermann Weyl - 1949 - Princeton, N.J.: Princeton University Press. Edited by Olaf Helmer-Hirschberg & Frank Wilczek.details
|
|
Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.details
|
|
Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.details
|
|
Verificationism Then and Now.Per Martin-löf - 1995 - Vienna Circle Institute Yearbook 3:187-196.details
|
|
In the Light of Logic.Solomon Feferman - 1998 - New York and Oxford: Oxford University Press.details
|
|
Subsystems of Second Order Arithmetic.Stephen George Simpson - 1998 - Springer Verlag.details
|
|
Constructive Reasoning.W. W. Tait - 1968 - In B. van Rootselaar & Frits Staal (eds.), Logic, methodology and philosophy of science III. Amsterdam,: North-Holland Pub. Co.. pp. 185-99.details
|
|
(1 other version)Well-ordering proofs for Martin-Löf type theory.Anton Setzer - 1998 - Annals of Pure and Applied Logic 92 (2):113-159.details
|
|
Extending Martin-Löf Type Theory by one Mahlo-universe.Anton Setzer - 2000 - Archive for Mathematical Logic 39 (3):155-181.details
|
|
(1 other version)Review: G. Kreisel, Ordinal Logics and the Characterization of Informal Concepts of Proof. [REVIEW]Dana Scott - 1962 - Journal of Symbolic Logic 27 (1):78-78.details
|
|
An Intuitionistic Theory of Types: Predicative Part.H. E. Rose & J. C. Shepherdson - 1984 - Journal of Symbolic Logic 49 (1):311-313.details
|
|
Realizing Mahlo set theory in type theory.Michael Rathjen - 2003 - Archive for Mathematical Logic 42 (1):89-101.details
|
|
Inaccessibility in constructive set theory and type theory.Michael Rathjen, Edward R. Griffor & Erik Palmgren - 1998 - Annals of Pure and Applied Logic 94 (1-3):181-200.details
|
|
(1 other version)Explicit mathematics with the monotone fixed point principle. II: Models.Michael Rathjen - 1999 - Journal of Symbolic Logic 64 (2):517-550.details
|
|
Truth of a proposition, evidence of a judgement, validity of a proof.Per Martin-Löf - 1987 - Synthese 73 (3):407 - 420.details
|
|
Per Martin-Löf. Intuitionistic type theory. Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp. [REVIEW]W. A. Howard - 1986 - Journal of Symbolic Logic 51 (4):1075-1076.details
|
|
Recursion-theoretic hierarchies.Peter G. Hinman - 1978 - New York: Springer Verlag.details
|
|
(2 other versions)In the Light of Logic.G. Aldo Antonelli - 2001 - Bulletin of Symbolic Logic 7 (2):270-277.details
|
|
A Language and Axioms for Explicit Mathematics.Solomon Feferman, J. N. Crossley, Maurice Boffa, Dirk van Dalen & Kenneth Mcaloon - 1984 - Journal of Symbolic Logic 49 (1):308-311.details
|
|
Which set existence axioms are needed to prove the separable Hahn-Banach theorem?Douglas K. Brown & Stephen G. Simpson - 1986 - Annals of Pure and Applied Logic 31:123-144.details
|
|
(2 other versions)Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.details
|
|
Admissible Sets and Structures.Jon Barwise - 1978 - Studia Logica 37 (3):297-299.details
|
|
(1 other version)Foundations of Constructive Mathematics.Michael J. Beeson - 1987 - Studia Logica 46 (4):398-399.details
|
|