- A Structuralist Theory of Logic.Bernhard Weiss - 1996 - Philosophical Quarterly 46 (183):248-251.details
|
|
Zum intuitionistischen aussagenkalkül.K. Gödel - 1932 - Anzeiger der Akademie der Wissenschaften in Wien 69:65--66.details
|
|
Consequence Relations and Admissible Rules.Rosalie Iemhoff - 2016 - Journal of Philosophical Logic 45 (3):327-348.details
|
|
On Disjunctions and Existential Statements in Intuitionistic Systems of Logic.R. Harrop - 1958 - Journal of Symbolic Logic 23 (3):345-346.details
|
|
(2 other versions)Intuitionism: An Introduction.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..details
|
|
(2 other versions)Einfuhrung in die Operative Logik und Mathematik.Perry Smith - 1970 - Journal of Symbolic Logic 35 (2):330-330.details
|
|
The development of intuitionistic logic.Mark van Atten - 2008 - The Stanford Encyclopedia of Philosophy.details
|
|
(2 other versions)Intuitionism. An Introduction.Sigekatu Kuroda - 1956 - Journal of Symbolic Logic 21 (4):367-371.details
|
|
(1 other version)Philosophical and Mathematical Correspondence. [REVIEW]A. Reix - 1982 - Revue Philosophique de la France Et de l'Etranger 172 (1):64-64.details
|
|
The compactness of first-order logic:from gödel to lindström.John W. Dawson - 1993 - History and Philosophy of Logic 14 (1):15-37.details
|
|
(1 other version)Philosophy of logic.Willard Van Orman Quine - 1986 - Cambridge: Harvard University Press. Edited by Simon Blackburn & Keith Simmons.details
|
|
(1 other version)Crito. Plato - 2009 - In Steven M. Cahn (ed.), Exploring ethics: an introductory anthology. Oxford: Oxford University Press.details
|
|
(1 other version)On the interpretation of intuitionistic number theory.S. C. Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.details
|
|
Crito.C. J. Plato & Emlyn-Jones - 1940 - New York city,: R.N. Ascher & R.S. Rodwin at the Fieldston school press. Edited by Benjamin Jowett.details
|
|
Über die wissenschaftliche Berechtigung einer Begriffsschrift.Gottlob Frege - 1882 - Zeitschrift für Philosophie Und Philosophische Kritik 81:48-56.details
|
|
Update.[author unknown] - 2000 - New Vico Studies 18:149-154.details
|
|
(3 other versions)Lorenzen Paul. Einführung in die operative Logik und Mathematik. Die Grundlehren der mathematischen Wissenschaften, vol. 78. Springer-Verlag, Berlin-Göttingen-Heidelberg 1955, VII + 298 pp. [REVIEW]Th Skolem - 1957 - Journal of Symbolic Logic 22 (3):289-290.details
|
|
A Structuralist Theory of Logic.Arnold Koslow - 1992 - New York: Cambridge University Press.details
|
|
Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Halle a.d.S.: Louis Nebert.details
|
|
(1 other version)On the Interpretation of Intuitionistic Number Theory.S. C. Kleene - 1947 - Journal of Symbolic Logic 12 (3):91-93.details
|
|
On the Metamathematics of Algebra.Abraham Robinson - 1952 - Journal of Symbolic Logic 17 (3):205-207.details
|
|
Does the deduction theorem fail for modal logic?Raul Hakli & Sara Negri - 2012 - Synthese 187 (3):849-867.details
|
|
Frege's Judgement Stroke and the Conception of Logic as the Study of Inference not Consequence.Nicholas J. J. Smith - 2009 - Philosophy Compass 4 (4):639-665.details
|
|
Compound thoughts.Gottlob Frege - 1963 - Mind 72 (285):1-17.details
|
|
Provability Interpretations of Modal Logic.Robert M. Solovay - 1981 - Journal of Symbolic Logic 46 (3):661-662.details
|
|
Admissibility of logical inference rules.Vladimir Vladimir Rybakov - 1997 - New York: Elsevier.details
|
|
(1 other version)Einführung in die operative Logik und Mathematik.Paul Lorenzen - 1955 - Berlin,: Springer.details
|
|
(2 other versions)Philosophy of Logic.W. V. Quine - 2005 - In José Medina & David Wood (eds.), Truth. Malden, MA: Blackwell.details
|
|
Intuitionism, an Introduction by A. Heyting. [REVIEW]Andrzej Grzegorczyk - 1958 - Studia Logica 7:277-278.details
|
|
Cut as Consequence.Curtis Franks - 2010 - History and Philosophy of Logic 31 (4):349-379.details
|
|
Propositional Calculus and Realizability.Gene F. Rose - 1954 - Journal of Symbolic Logic 19 (2):126-126.details
|
|
Note on a doctrine of Frege.R. H. Stoothoff - 1963 - Mind 72 (287):406-408.details
|
|
(3 other versions)Einführungin die operative Logik und Mathematik.Th Skolem - 1957 - Zeitschrift für Philosophische Forschung 11 (4):631-633.details
|
|
Rules of inference with parameters for intuitionistic logic.Vladimir V. Rybakov - 1992 - Journal of Symbolic Logic 57 (3):912-923.details
|
|
(2 other versions)Philosophy of Logic.Michael Jubien & W. V. Quine - 1988 - Journal of Symbolic Logic 53 (1):303.details
|
|
Remarks on Frege's conception of inference.Gregory Currie - 1987 - Notre Dame Journal of Formal Logic 28 (1):55-68.details
|
|
A Structuralist Theory of Logic.Arnold Koslow - 1995 - Studia Logica 54 (2):256-258.details
|
|
The development of intuitionistic logic.Mark van Atten - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
(3 other versions)Einführung in die Operative Logik und Mathematik.Th Skolem - 1957 - Journal of Symbolic Logic 22 (3):289-290.details
|
|
(3 other versions)Review: Paul Lorenzen, Einfuhrung in die Operative Logik und Mathematik. [REVIEW]Th Skolem - 1957 - Journal of Symbolic Logic 22 (3):289-290.details
|
|
Frege - Begriffschrift, eine der Arithmetischen nachgebildete Formelsprache des reinen Denkens. [REVIEW]Paul Tannery - 1879 - Revue Philosophique de la France Et de l'Etranger 8:108-109.details
|
|
Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkul.G. Kreisel - 1957 - Archive for Mathematical Logic 3 (3-4):74.details
|
|