- Principles of continuous choice and continuity of functions in formal systems for constructive mathematics.Michael J. Beeson - 1977 - Annals of Mathematical Logic 12 (3):249.details
|
|
On the interpretation of non-finitist proofs–Part II.G. Kreisel - 1952 - Journal of Symbolic Logic 17 (1):43-58.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
A survey of proof theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.details
|
|
Schütte Kurt. Beweistheoretische Untersuchung der verzweigten Analysis. Mathematische Annalen, Bd. 124 , S. 123–147.Wilhelm Ackermann - 1953 - Journal of Symbolic Logic 18 (1):76-76.details
|
|
Realizability and intuitionistic logic.J. Diller & A. S. Troelstra - 1984 - Synthese 60 (2):253 - 282.details
|
|
(1 other version)Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.details
|
|
Algebraische und logistische untersuchungen über freie verbände.Paul Lorenzen - 1951 - Journal of Symbolic Logic 16 (2):81-106.details
|
|
(1 other version)On the interpretation of intuitionistic number theory.Stephen Cole Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.details
|
|
Schütte Kurt. Beweistheoretische Erfassung der unendlichen Induktion in der Zahlen-theorie. Mathematische Annalen, Bd. 122 Heft 5 , S. 369–389. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (3):221-221.details
|
|
Beweisbarkeit und Unbeweisbarkeit von Anfangsfallen der Transfiniten Induktion in der reinen Zahlentheorie.Gerhard Gentzen - 1944 - Journal of Symbolic Logic 9 (3):70-72.details
|
|
Die Widerspruchsfreiheit der reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.details
|
|
Proof theory and intuitionistic systems.Bruno Scarpellini - 1971 - New York,: Springer Verlag.details
|
|
Metamathematical investigation of intuitionistic arithmetic and analysis.Anne S. Troelstra - 1973 - New York,: Springer.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
|
|
Relativized realizability in intuitionistic arithmetic of all finite types.Nicolas D. Goodman - 1978 - Journal of Symbolic Logic 43 (1):23-44.details
|
|
A simplification of the Bachmann method for generating large countable ordinals.Jane Bridge - 1975 - Journal of Symbolic Logic 40 (2):171-185.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
|
|
(2 other versions)Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (1):31-32.details
|
|
The faithfulness of the interpretation of arithmetic in the theory of constructions.Nicolas D. Goodman - 1973 - Journal of Symbolic Logic 38 (3):453-459.details
|
|