- Ontological relativity and other essays.Willard Van Orman Quine (ed.) - 1969 - New York: Columbia University Press.details
|
|
Questions of Proof.B. G. Sundholm - unknowndetails
|
|
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.details
|
|
Intensional Mathematics.Stuart Shapiro - 1991 - Studia Logica 50 (1):161-162.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
|
|
Meaning and speech acts.R. M. Hare - 1970 - Philosophical Review 79 (1):3-24.details
|
|
Assertion.Peter Geach - 1965 - Philosophical Review 74 (4):449-465.details
|
|
Recent Work in Epistemic Logic.W. Lenzen - 1980 - Tijdschrift Voor Filosofie 42 (2):403-404.details
|
|
Logic Matters.P. T. Geach - 1972 - Foundations of Language 13 (1):127-132.details
|
|
Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.details
|
|
Recent work in epistemic logic.Wolfgang Lenzen - 1978 - Acta Philosophica Fennica 30:1-219.details
|
|
Kant and Contemporary Epistemology.P. Parrini - 2012 - Dordrecht, Netherland: Kluwer Academic Publishers.details
|
|
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.details
|
|
Die kontroverse um die intuitionistische logik vor ihrer axiomatisierung durch heyting im jahre 1930.Christian Thiel - 1988 - History and Philosophy of Logic 9 (1):67-75.details
|
|
Proof Theory and Meaning.B. G. Sundholm - unknowndetails
|
|
Logic matters.Peter Thomas Geach - 1972 - Oxford,: Blackwell.details
|
|
Truth of a proposition, evidence of a judgement, validity of a proof.Per Martin-Löf - 1987 - Synthese 73 (3):407 - 420.details
|
|
Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.details
|
|
Grundgesetze der arithmetik.Gottlob Frege - 1893 - Jena,: H. Pohle.details
|
|
Type-theoretical Grammar.Aarne Ranta - 1994 - Oxford, England: Oxford University Press on Demand.details
|
|
Verificationism Then and Now.Per Martin-löf - 1995 - Vienna Circle Institute Yearbook 3:187-196.details
|
|
[Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.details
|
|
Constructivism in Mathematics: An Introduction.A. S. Troelstra & Dirk Van Dalen - 1988 - Amsterdam: North Holland. Edited by D. van Dalen.details
|
|
Wittgenstein’s Tractatus.Erik Stenius - 1960 - Les Etudes Philosophiques 16 (2):277-278.details
|
|
Speaking of Objects.W. V. Quine - 1958 - Journal of Symbolic Logic 24 (3):268-269.details
|
|
Existence, proof and truth-making: A perspective on the intuitionistic conception of truth.Göran Sundholm - 1994 - Topoi 13 (2):117-126.details
|
|
On the meanings of the logical constants and the justifications of the logical laws.Per Martin-Löf - 1996 - Nordic Journal of Philosophical Logic 1 (1):11-60.details
|
|
Heyting’s contribution to the change in research into the foundations of mathematics.Miriam Franchella - 1994 - History and Philosophy of Logic 15 (2):149-172.details
|
|
Proof-Theoretical Semantics and Fregean Identity Criteria for Propositions.B. G. Sundholm - 1994 - The Monist 77 (3):294-314.details
|
|
Proceedings of the Second Scandinavian Logic Symposium.Jens Erik Fenstad (ed.) - 1971 - Amsterdam,: North-Holland Pub. Co..details
|
|
Speaking of Objects.W. V. Quine - 1957 - Proceedings and Addresses of the American Philosophical Association 31 (3):5 - 22.details
|
|
Intensional Mathematics.Stewart Shapiro - 1989 - Philosophy of Science 56 (1):177-178.details
|
|
Die Widerspruchsfreiheit der reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.details
|
|
Mathematical Logic.Donald Monk - 1975 - Journal of Symbolic Logic 40 (2):234-236.details
|
|
Wittgenstein's `Tractatus'.G. D. Duthie & Erik Stenius - 1962 - Philosophical Quarterly 12 (49):371.details
|
|
The formulæ-as-types notion of construction.W. A. Howard - 1995 - In Philippe De Groote (ed.), The Curry-Howard isomorphism. Louvain-la-Neuve: Academia.details
|
|
Mathematische grundlagenforschung: intuitionismus, beweistheorie.A. Heyting - 1934 - Berlin,: J. Springer.details
|
|