- Basic proof theory.A. S. Troelstra - 2000 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.details
|
|
Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.details
|
|
Foundations of Mathematical Logic.William Craig - 1963 - Journal of Symbolic Logic 45 (2):377-378.details
|
|
A propositional calculus intermediate between the minimal calculus and the classical.Charles Parsons - 1966 - Notre Dame Journal of Formal Logic 7 (4):353-358.details
|
|
A note on the intuitionistic and the classical proposition calculus.T. Thacher Robinson - 1960 - Logique Et Analyse 3 (4):174-176.details
|
|
Existence, Truth and Provability.Ermanno Bencivenga & Hugues LeBlanc - 1985 - Journal of Symbolic Logic 50 (1):227.details
|
|
Formal Logic.Arthur N. Prior & Norman Prior - 1955 - Oxford,: Oxford University Press.details
|
|
Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1981 - Dordrecht, Netherland: Reidel.details
|
|
A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Second edition of jsl lxiii 1605. Cambridge tracts in theoretical computer science, no. 43. cambridge university press, cambridge, new York, etc., 2000, XII + 417 pp.Roy Dyckhoff - 2001 - Bulletin of Symbolic Logic 7 (2):280-280.details
|
|
On the strong semantical completeness of the intuitionistic predicate calculus.Richmond H. Thomason - 1968 - Journal of Symbolic Logic 33 (1):1-7.details
|
|
Natural Logic.Wilfried Sieg - 1983 - Journal of Symbolic Logic 48 (1):215-217.details
|
|
Normalization theorems for full first order classical natural deduction.Gunnar Stålmarck - 1991 - Journal of Symbolic Logic 56 (1):129-149.details
|
|
On the proof theory of the intermediate logic MH.Jonathan P. Seldin - 1986 - Journal of Symbolic Logic 51 (3):626-647.details
|
|
Propositional Logics Related to Heyting's and Johansson's.Krister Segerberg - 1968 - Theoria 34 (1):26-61.details
|
|
Formal Logic.Hugues Leblanc - 1962 - Journal of Symbolic Logic 27 (2):218-220.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.details
|
|
Natural Logic.H. A. Lewis - 1981 - Philosophical Quarterly 31 (125):376.details
|
|
The Demarcation Line Between Intuitionist Logic and Classical Logic.Hugues Leblanc & Richmond H. Thomason - 1966 - Mathematical Logic Quarterly 12 (1):257-262.details
|
|
Existence, Truth, and Provability.Hugues Leblanc - 1980 - Albany, NY, USA: State University of New York Press.details
|
|
Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford July 1963. North Holland. pp. 92-130.details
|
|
Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke, J. N. Crossley & M. A. E. Dummett - 1970 - Journal of Symbolic Logic 35 (2):330-332.details
|
|
A note on partial postulate sets for propositional logic.Stig Kanger - 1955 - Theoria 21 (2-3):99-104.details
|
|
Independence of Tarski's law in Henkin's propositional fragments.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):74-78.details
|
|
The separation theorem of intuitionist propositional calculus.Alfred Horn - 1962 - Journal of Symbolic Logic 27 (4):391-399.details
|
|
The Separation Theorem of Intuitionist Propositional Calculus.Alfred Horn - 1967 - Journal of Symbolic Logic 32 (2):282-282.details
|
|
A logic stronger than intuitionism.Sabine Görnemann - 1971 - Journal of Symbolic Logic 36 (2):249-261.details
|
|
The Taming of the True.Michael Glanzberg & Neil Tennant - 2000 - Philosophical Review 109 (2):290.details
|
|
Trees and finite satisfiability: proof of a conjecture of Burgess.George Boolos - 1984 - Notre Dame Journal of Formal Logic 25 (3):193-197.details
|
|
Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1986 - Journal of Symbolic Logic 51 (3):824-824.details
|
|
Intuitionistic logic, model theory and forcing.Melvin Fitting - 1969 - Amsterdam,: North-Holland Pub. Co..details
|
|
Intuitionistic Logic Model Theory and Forcing.F. R. Drake - 1971 - Journal of Symbolic Logic 36 (1):166-167.details
|
|
The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge, Mass.: Harvard University Press.details
|
|
The taming of the true.Neil Tennant - 1997 - New York: Oxford University Press.details
|
|
The Logical Basis of Metaphysics.Michael Dummett, Hilary Putnam & James Conant - 1994 - Philosophical Quarterly 44 (177):519-527.details
|
|
Formal Logic.A. N. Prior - 1964 - Studia Logica 15:298-301.details
|
|