- Towards a Foundation of General Proof Theory.Dag Prawitz - 1973 - In ¸ Itetsuppes1973. North Holland, Amsterdam.details
|
|
Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.details
|
|
Logic, Semantics, Metamathematics.Atwell Turquette - 1958 - Philosophical Review 67 (1):113.details
|
|
Foundations of Intuitionistic Logic.G. Kreisel - 1965 - Journal of Symbolic Logic 30 (2):243-244.details
|
|
Dummett and revisionism.Crispin Wright - 1981 - Philosophical Quarterly 31 (22):47.details
|
|
Frege.Michael Dummett - 1975 - Teorema: International Journal of Philosophy 5 (2):149-188.details
|
|
(1 other version)Anti-realism and the epistemology of understanding.John McDowell - 1981 - In Herman Parret & Jacques Bouveresse (eds.), Meaning and understanding. New York: W. de Gruyter. pp. 225--248.details
|
|
(2 other versions)Truth-conditions and Criteria.Crispin Wright - 1988 - In ¸ Itewright:Rmt. pp. 47--69.details
|
|
Pronouns, Quantifiers, and Relative Clauses (I).Gareth Evans - 1977 - Canadian Journal of Philosophy 7 (3):467--536.details
|
|
Does IPC have a binary indigenous Sheffer function?Herbert E. Hendry - 1981 - Notre Dame Journal of Formal Logic 22 (2):183-186.details
|
|
Tonk.Steven Wagner - 1981 - Notre Dame Journal of Formal Logic 22 (4):289-300.details
|
|
(1 other version)Meaning and proofs: On the conflict between classical and intuitionistic logic.Dag Prawitz - 1977 - Theoria 43 (1):2--40.details
|
|
Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.details
|
|
First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.details
|
|
Meaning and truth theory.John Foster - 2010 - In Darragh Byrne & Max Kölbel (eds.), Arguing about language. New York: Routledge.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
Die intuitionistische grundlegung der mathematik.Arend Heyting - 1931 - Erkenntnis 2 (1):106-115.details
|
|
(3 other versions)Realism.Michael Dummett - 1982 - Synthese 52 (1):145--165.details
|
|
(2 other versions)Truth and meaning.Donald Davidson - 1967 - Synthese 17 (1):304-323.details
|
|
Constructions, proofs and the meaning of logical constants.Göran Sundholm - 1983 - Journal of Philosophical Logic 12 (2):151 - 172.details
|
|
Hacking's logic.Göran Sundholm - 1981 - Journal of Philosophy 78 (3):160-168.details
|
|
What is logic?Ian Hacking - 1979 - Journal of Philosophy 76 (6):285-319.details
|
|
Wittgenstein on the Foundations of Mathematics.Crispin Wright - 1980 - Cambridge, Mass.: Harvard University Press.details
|
|
(1 other version)Inquiries Into Truth And Interpretation.Donald Davidson - 1984 - Oxford, GB: Oxford University Press.details
|
|
(4 other versions)Truth and Meaning. Essays in Semantics.G. Evans & J. Mcdowell - 1976 - Revue Philosophique de la France Et de l'Etranger 166 (4):435-437.details
|
|
(2 other versions)Truth and Other Enigmas.Michael Dummett - 1980 - Revue Philosophique de la France Et de l'Etranger 170 (1):62-65.details
|
|
(1 other version)Truth.Michael Dummett - 1968 - Journal of Symbolic Logic 33 (1):148-148.details
|
|
(2 other versions)Intuitionism. An Introduction.Sigekatu Kuroda - 1956 - Journal of Symbolic Logic 21 (4):367-371.details
|
|
(2 other versions)First-order Logic.William Craig - 1975 - Journal of Symbolic Logic 40 (2):237-238.details
|
|
(1 other version)An Introduction to Logic and Scientific Method.Morris R. Cohen - 1934 - The Monist 44:316.details
|
|
(1 other version)The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38-39.details
|
|
Elements of Intuitionism.Michael Dummett - 1980 - British Journal for the Philosophy of Science 31 (3):299-301.details
|
|
(2 other versions)Truth and Other Enigmas.Michael Dummett - 1978 - Philosophical Quarterly 31 (122):47-67.details
|
|
Recursive models for constructive set theories.M. Beeson - 1982 - Annals of Mathematical Logic 23 (2-3):127-178.details
|
|
The Philosophical Basis of Intuitionistic Logic.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press. pp. 215--247.details
|
|
Roundabout the Runabout Inference-Ticket.J. T. Stevenson - 1960 - Analysis 21 (6):124-128.details
|
|
The justification of deduction.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press.details
|
|
Strict finitism.Crispin Wright - 1982 - Synthese 51 (2):203 - 282.details
|
|
(1 other version)An a priori argument for realism.Colin McGinn - 1979 - Journal of Philosophy 76 (3):113-133.details
|
|
On the sense and reference of a proper name.John McDowell - 1977 - Mind 86 (342):159-185.details
|
|
(1 other version)Frege Structures and the Notions of Proposition, Truth and Set.Peter Aczel, Jon Barwise, H. Jerome Keisler & Kenneth Kunen - 1986 - Journal of Symbolic Logic 51 (1):244-246.details
|
|
(2 other versions)Elements of Intuitionism.Nicolas D. Goodman - 1979 - Journal of Symbolic Logic 44 (2):276-277.details
|
|
Mathematical Logic.D. G. Londey - 1968 - Philosophical Quarterly 18 (72):273-275.details
|
|
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.details
|
|
(2 other versions)Ways of Meaning.Martin Bell & Mark De Bretton Platts - 1980 - Philosophical Quarterly 30 (119):164.details
|
|
Proof and Paradox.Neil Tennant - 1982 - Dialectica 36 (2‐3):265-296.details
|
|
Mathematical logic.Stephen Cole Kleene - 1967 - Mineola, N.Y.: Dover Publications.details
|
|
Realizability and intuitionistic logic.J. Diller & A. S. Troelstra - 1984 - Synthese 60 (2):253 - 282.details
|
|
Interpretations of quantifiers.Thomas Baldwin - 1979 - Mind 88 (350):215-240.details
|
|
(1 other version)An Introduction to Logic and Scientific Method.Morris R. Cohen & Ernest Nagel - 1936 - Philosophy 11 (42):219-221.details
|
|