- (1 other version)Der Logische Aufbau der Welt.Rudolf Carnap - 1928 - Hamburg: Meiner Verlag.details
|
|
Inference, Consequence, Implication: A Constructivist's Perspective.B. G. Sundholm - 1998 - Philosophia Mathematica 6 (2):178-194.details
|
|
(1 other version)Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.details
|
|
Intuitionistic Type Theory.Per Martin-Löf - 1980 - Bibliopolis.details
|
|
Die Philosophische Logik Gottlob Freges.Wolfgang Künne - 2010 - Frankfurt am Main: Vittorio Klostermann.details
|
|
Begriffsschrift.Gottlob Frege - 1967 - In Jean Van Heijenoort (ed.), From Frege to Gödel. Cambridge,: Harvard University Press. pp. 1-83.details
|
|
(1 other version)Logische Syntax der Sprache.R. Carnap - 1936 - Philosophy 11 (41):110-114.details
|
|
(3 other versions)Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.details
|
|
Der logische Aufbau der Welt.Rudolf Carnap - 1928 - Annalen der Philosophie Und Philosophischen Kritik 8:106-107.details
|
|
L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction.Mark Van Atten & Göran Sundholm - 2017 - History and Philosophy of Logic 38 (1):24-47.details
|
|
Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.details
|
|
Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl.Gottlob Frege - 1884 - Wittgenstein-Studien 3 (2):993-999.details
|
|
What is a begriffsschrift?Jonathan Barnes - 2002 - Dialectica 56 (1):65–80.details
|
|
Per Martin-Löf. Intuitionistic type theory. Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp. [REVIEW]W. A. Howard - 1986 - Journal of Symbolic Logic 51 (4):1075-1076.details
|
|
Logic, Semantics, Metamathematics.Atwell Turquette - 1958 - Philosophical Review 67 (1):113.details
|
|
The proof-explanation of logical constants is logically neutral.Goran Sundholm - 2004 - Revue Internationale de Philosophie 4:401-410.details
|
|
The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar Theorem.Mark van Atten & Göran Sundholm - 2008 - In Mark van Atten, Pascal Boldini, Michel Bourdeau & Gerhard Heinzmann (eds.), One Hundred Years of Intuitionism : The Cerisy Conference. Birkhäuser Basel. pp. 60-77.details
|
|
Vom Ursprung Sittlicher Erkenntnis.Franz Brentano - 1889 - Duncker Und Humblot.details
|
|
(1 other version)Grundlagen der Arithmetik: Studienausgabe mit dem Text der Centenarausgabe.Gottlob Frege - 1988 - Meiner, F.details
|
|
Proofs as Acts and Proofs as Objects: Some questions for Dag Prawitz.Goran Sundholm - 1998 - Theoria 64 (2-3):187-216.details
|
|
Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.details
|
|
Existence, proof and truth-making: A perspective on the intuitionistic conception of truth.Göran Sundholm - 1994 - Topoi 13 (2):117-126.details
|
|
Intuitionism and Logical Tolerance.Göran Sundholm - 1999 - Vienna Circle Institute Yearbook 6:135-148.details
|
|
Inference, consequence, implication: a constructivist's perspective.Göran Sundholm - 1998 - Philosophia Mathematica 6 (2):178-194.details
|
|
Vom Ursprung sittlicher erkenntniss.Franz Brentano - 1890 - Revue Philosophique de la France Et de l'Etranger 30:428-432.details
|
|
Elements of logic.Richard Whately - 1990 - Revue Philosophique de la France Et de l'Etranger 180 (4):720-720.details
|
|
(1 other version)Nachgelassene Schriften.Gotlob Frege - 1970 - Synthese 21 (3):488-493.details
|
|
Antirealism and the roles of truth.Göran Sundholm - 2004 - In Ilkka Niiniluoto, Matti Sintonen & Jan Woleński (eds.), Handbook of Epistemology. Dordrecht: Kluwer Academic. pp. 437--466.details
|
|
Die Grundlagen der Mathematik.David Hilbert, Hermann Weyl & Paul Bernays - 2013 - Springer Verlag.details
|
|
“Inference versus consequence” revisited: inference, consequence, conditional, implication.Göran Sundholm - 2012 - Synthese 187 (3):943-956.details
|
|
Implicit epistemic aspects of constructive logic.Göran Sundholm - 1997 - Journal of Logic, Language and Information 6 (2):191-212.details
|
|
(3 other versions)Tractatus Logico-Philosophicus.Ludwig Wittgenstein - 1956 - Revista Portuguesa de Filosofia 12 (1):109-110.details
|
|
(1 other version)Grundlagen der Arithmetik: Studienausgabe mit dem Text der Centenarausgabe.Gottlob Frege - 1884 - Breslau: Wilhelm Koebner Verlag.details
|
|
Posthumous Writings by Gottlob Frege, Peter Long, Roger White. [REVIEW]Stanley Rosen - 1981 - Philosophy and Rhetoric 14 (3):196-197.details
|
|
Elements of logic.Richard Whately - 1827 - Delmar, N.Y.: Scholars' Facsimiles & Reprints.details
|
|
Rudolf Carnap. Logische Syntax der Sprache. Second edition of 35212. Springer-Verlag, Vienna and New York1968, XI + 274 pp. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (3):472.details
|
|
Semantic Values for Natural Deduction Derivations.Göran Sundholm - 2006 - Synthese 148 (3):623-638.details
|
|