- Der Logische Aufbau der Welt.Rudolf Carnap - 1928 - Hamburg: Meiner Verlag.details
|
|
Outlines of a formalist philosophy of mathematics.Haskell Brooks Curry - 1951 - Amsterdam,: North-Holland Pub. Co..details
|
|
Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel.Andrzej Mostowski - 1952 - Westport, Conn.: Greenwood Press.details
|
|
Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.details
|
|
The logical systems of Lesniewski.Eugene C. Luschei - 1962 - Amsterdam,: North-Holland Pub. Co..details
|
|
Logic, Semantics, Metamathematics.L. Jonathan Cohen - 1958 - Philosophical Quarterly 8 (30):87-88.details
|
|
Mathematical Logic.Donald Monk - 1975 - Journal of Symbolic Logic 40 (2):234-236.details
|
|
Mathematical Logic.Jeffrey B. Remmel - 1979 - Journal of Symbolic Logic 44 (2):283-284.details
|
|
On the development of the model-theoretic viewpoint in logical theory.Jaakko Hintikka - 1988 - Synthese 77 (1):1 - 36.details
|
|
Die intuitionistische grundlegung der mathematik.Arend Heyting - 1931 - Erkenntnis 2 (1):106-115.details
|
|
Logic as calculus and logic as language.Jean Heijenoort - 1967 - Synthese 17 (1):324 - 330.details
|
|
The systems of Leśniewski in relation to contemporary logical research.Andrzej Grzegorczyk - 1955 - Studia Logica 3 (1):77-95.details
|
|
Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory.Gregory H. Moore - 1980 - History and Philosophy of Logic 1 (1-2):95-137.details
|
|
Bibliography of Alfred Tarski.Steven Givant - 1986 - Journal of Symbolic Logic 51 (4):913-941.details
|
|
Russell's Mathematical Logic.Kurt Gödel - 1946 - In Paul Arthur Schilpp (ed.), The Philosophy of Bertrand Russell, 2nd edition. Evanston, IL: The Library of Living Philosophers, Inc.. pp. 123-154.details
|
|
Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.details
|
|
Outlines of a Formalist Philosophy of Mathematics.J. C. C. McKinsey - 1953 - Journal of Symbolic Logic 18 (1):80-81.details
|
|
Logische Syntax der Sprache.Jörgen Jörgenfen - 1934 - Erkenntnis 4 (1):419-422.details
|
|
Lingua Universalis vs. Calculus Ratiocinator:: An Ultimate Presupposition of Twentieth-Century Philosophy.Jaakko Hintikka - 1996 - Springer.details
|
|
Logic Semantics, Metamathematics Papers From 1923 to 1938. Translated by J.H. Woodger.Alfred Tarski - 1956 - Clarendon Press.details
|
|
Philosophy and Logic in central Europe from Bolzano to Tarski.Peter M. Simons - 1992 - Dordrecht, Netherland: Kluwer Academic Publishers.details
|
|
Der logische Aufbau der Welt.Rudolf Carnap - 1928 - Annalen der Philosophie Und Philosophischen Kritik 8:106-107.details
|
|
Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.details
|
|
Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.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
|
|
Über Grenzzahlen und Mengenbereiche: Neue Untersuchungen über die Grundlagen der Mengenlehre.Ernst Zermelo - 1930 - Fundamenta Mathematicæ 16:29--47.details
|
|
Über einige Grundlagenfragen der Mathematik.Thoralf Skolem - 1929 - In Selected Works in Logic. Universitetsforlaget. pp. 227--73.details
|
|
Tractarian Expressions and their Use in Constructive Mathematics.B. G. Sundholm - unknowndetails
|
|
The logical systems of Lesniewski.Eugène C. Luschei - 1962 - Revue Philosophique de la France Et de l'Etranger 155:246-247.details
|
|
Logische Syntax der Sprache.Rudolf Carnap & M. Black - 1935 - Mind 44 (176):499-511.details
|
|
Outlines of a Formalist Philosophy of Mathematics.Haskell B. Curry & Abraham Robinson - 1952 - British Journal for the Philosophy of Science 3 (10):197-200.details
|
|
Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Gödel.A. Mostowski - 1953 - British Journal for the Philosophy of Science 3 (12):364-374.details
|
|
[Omnibus Review].Eugene C. Luschei - 1971 - Journal of Symbolic Logic 36 (3):509-513.details
|
|