- The variety of consequence, according to Bolzano.Johan Benthem - 1985 - Studia Logica 44 (4):389 - 403.details
|
|
Mathematical Logic.Morton G. White & Willard Van Orman Quine - 1942 - Philosophical Review 51 (1):74.details
|
|
The Variety of Consequence, According to Bolzano.Johan van Benthem - 1985 - Studia Logica 44 (4):389-403.details
|
|
Propositional Calculus and Realizability.Gene F. Rose - 1954 - Journal of Symbolic Logic 19 (2):126-126.details
|
|
(1 other version)On natural deduction.W. V. Quine - 1950 - Journal of Symbolic Logic 15 (2):93-102.details
|
|
(1 other version)On Natural Deduction.W. V. Quine - 1952 - Journal of Symbolic Logic 17 (1):76-77.details
|
|
(1 other version)Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.details
|
|
(1 other version)Mathematical Logic.Willard Van Orman Quine - 1940 - Cambridge, MA, USA: Harvard University Press.details
|
|
A Short Course in Logic. Chapters I-VII.Willard V. Quine - 1947 - Journal of Symbolic Logic 12 (2):60-61.details
|
|
(1 other version)On the scope of the classical deduction theorem.Witold A. Pogorzelski - 1968 - Journal of Symbolic Logic 33 (1):77-81.details
|
|
(1 other version)On the Scope of the Classical Deduction Theorem.Witold A. Pogorzelski - 1975 - Journal of Symbolic Logic 40 (4):606-606.details
|
|
Null. Null - 2016 - Philosophy Study 6 (9).details
|
|
Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.details
|
|
Functional completeness of cartesian categories.J. Lambek - 1974 - Annals of Mathematical Logic 6 (3):259.details
|
|
Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkul.G. Kreisel - 1957 - Archive for Mathematical Logic 3 (3-4):74.details
|
|
Consequence Relations and Admissible Rules.Rosalie Iemhoff - 2016 - Journal of Philosophical Logic 45 (3):327-348.details
|
|
(1 other version)Über Axiomensysteme beliebiger Satzsysteme.P. Hertz - 1929 - Annalen der Philosophie Und Philosophischen Kritik 8 (1):178-204.details
|
|
(1 other version)Über Axiomensysteme beliebiger Satzsysteme.P. Hertz - 1929 - Annalen der Philosophie Und Philosophischen Kritik 8:178.details
|
|
On Disjunctions and Existential Statements in Intuitionistic Systems of Logic.R. Harrop - 1958 - Journal of Symbolic Logic 23 (3):345-346.details
|
|
Lambek's categorical proof theory and läuchli's abstract realizability.Victor Harnik & Michael Makkai - 1992 - Journal of Symbolic Logic 57 (1):200-230.details
|
|
The Context of Inference.Curtis Franks - 2018 - History and Philosophy of Logic 39 (4):365-395.details
|
|
Cut as Consequence.Curtis Franks - 2010 - History and Philosophy of Logic 31 (4):349-379.details
|
|
Models of Deduction.Kosta Dosen - 2006 - Synthese 148 (3):639-657.details
|
|
Identity of proofs based on normalization and generality.Kosta Došen - 2003 - Bulletin of Symbolic Logic 9 (4):477-503.details
|
|
Deductive completeness.Kosta Došen - 1996 - Bulletin of Symbolic Logic 2 (3):243-283.details
|
|
The concept of truth in formalized languages.Alfred Tarski - 1956 - In Logic, semantics, metamathematics. Oxford,: Clarendon Press. pp. 152--278.details
|
|
(1 other version)Algebraic aspects of deduction theorems.Janusz Czelakowski - 1985 - Studia Logica 44 (4):369 - 387.details
|
|
(1 other version)Review: Willard V. Quine, A Short Course in Logic. Chapters I-VII. [REVIEW]Alonzo Church - 1947 - Journal of Symbolic Logic 12 (2):60-61.details
|
|
(1 other version)Quine Willard V.. A short course in logic. Chapters I-VII. Mimeographed. Harvard Cooperative Society, Cambridge, Mass., 1946, iv + 130 pp. [REVIEW]Alonzo Church - 1947 - Journal of Symbolic Logic 12 (2):60-61.details
|
|
Wissenschaftslehre.Bernard Bolzano & Alois Höfler - 1837 - Revue de Métaphysique et de Morale 22 (4):15-16.details
|
|
Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Halle a.d.S.: Louis Nebert.details
|
|
On the Rules of Suppositions in Formal Logic.Stanisław Jaśkowski - 1934 - In ¸ Itepmccall1967. Oxford at the Clarendon Press.details
|
|
Topoi: The Categorial Analysis of Logic.R. I. Goldblatt - 1982 - British Journal for the Philosophy of Science 33 (1):95-97.details
|
|
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.K. Gödel - 1931 - Monatshefte für Mathematik 38 (1):173--198.details
|
|
Towards a Foundation of General Proof Theory.Dag Prawitz - 1973 - In ¸ Itetsuppes1973. North Holland, Amsterdam.details
|
|
Recherches Sur la Th”Eorie de la D”Emonstration.J. Herbrand - 1930 - Dissertation, Universit’e de Parisdetails
|
|
The mathematics of logic: a guide to completeness theorems and their applications.Richard Kaye - 2007 - New York: Cambridge University Press.details
|
|