- Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.details
|
|
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
Metamathematical investigation of intuitionistic arithmetic and analysis.Anne S. Troelstra - 1973 - New York,: Springer.details
|
|
A result on propositional logics having the disjunction property.Robert E. Kirk - 1982 - Notre Dame Journal of Formal Logic 23 (1):71-74.details
|
|
On two problems of Harvey Friedman.Tadeusz Prucnal - 1979 - Studia Logica 38 (3):247 - 262.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
Some results on intermediate constructive logics.Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Silvia Quazza & Gabriele Usberti - 1989 - Notre Dame Journal of Formal Logic 30 (4):543-562.details
|
|
A constructivism based on classical truth.Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi & Gabriele Usberti - 1988 - Notre Dame Journal of Formal Logic 30 (1):67-90.details
|
|
Intermediate logics with the same disjunctionless fragment as intuitionistic logic.Plerluigi Minari - 1986 - Studia Logica 45 (2):207 - 222.details
|
|
An infinite class of maximal intermediate propositional logics with the disjunction property.Pierangelo Miglioli - 1992 - Archive for Mathematical Logic 31 (6):415-432.details
|
|
On maximal intermediate logics with the disjunction property.Larisa L. Maksimova - 1986 - Studia Logica 45 (1):69 - 75.details
|
|
Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkul.G. Kreisel - 1957 - Archive for Mathematical Logic 3 (3-4):74.details
|
|
Concerning Formulas of the Types $A rightarrow B vee C, A rightarrow (Ex)B(x)$.Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (1):27-32.details
|
|
Concerning formulas of the types a →b ∨c, a →(ex)b(X).Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (1):27-32.details
|
|
A logic stronger than intuitionism.Sabine Görnemann - 1971 - Journal of Symbolic Logic 36 (2):249-261.details
|
|
The decidability of the Kreisel-Putnam system.Dov M. Gabbay - 1970 - Journal of Symbolic Logic 35 (3):431-437.details
|
|
Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1986 - Journal of Symbolic Logic 51 (3):824-824.details
|
|
One hundred and two problems in mathematical logic.Harvey Friedman - 1975 - Journal of Symbolic Logic 40 (2):113-129.details
|
|
Counting the maximal intermediate constructive logics.Mauro Ferrari & Pierangelo Miglioli - 1993 - Journal of Symbolic Logic 58 (4):1365-1401.details
|
|
A method to single out maximal propositional logics with the disjunction property I.Mauro Ferrari & Pierangelo Miglioli - 1995 - Annals of Pure and Applied Logic 76 (1):1-46.details
|
|
A method to single out maximal propositional logics with the disjunction property II.Mauro Ferrari & Pierangelo Miglioli - 1995 - Annals of Pure and Applied Logic 76 (2):117-168.details
|
|
The disjunction property of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1991 - Studia Logica 50 (2):189 - 216.details
|
|