- Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.details
|
|
A survey of symbolic logic.Clarence Irving Lewis - 1918 - New York,: Dover Publications. Edited by Gottfried Wilhelm Leibniz.details
|
|
Grundzüge der theoretischen Logik.David Hilbert & Wilhelm Ackermann - 1928 - Berlin,: J. Springer. Edited by W. Ackermann.details
|
|
Outlines of a formalist philosophy of mathematics.Haskell Brooks Curry - 1951 - Amsterdam,: North-Holland Pub. Co..details
|
|
Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.details
|
|
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs.Jean Porte - 1965 - Paris,: Gauthier-Villars.details
|
|
Remarks on Sentential Logics.R. Suszko - 1975 - Journal of Symbolic Logic 40 (4):603-604.details
|
|
A Survey of Symbolic Logic.C. I. Lewis - 1918 - Journal of Philosophy, Psychology and Scientific Methods 17 (3):78-79.details
|
|
Elementary Predicate Logic.Wilfrid Hodges, D. Gabbay & F. Guenthner - 1989 - Journal of Symbolic Logic 54 (3):1089-1090.details
|
|
Grundlagen der Mathematik I.David Hilbert & Paul Bernays - 1968 - Springer.details
|
|
Grundlagen der Mathematik.S. C. Kleene - 1940 - Journal of Symbolic Logic 5 (1):16-20.details
|
|
Introduction to Mathematical Logic.S. C. Kleene - 1956 - Journal of Symbolic Logic 23 (3):362-362.details
|
|
Logische Syntax der Sprache.Jörgen Jörgenfen - 1934 - Erkenntnis 4 (1):419-422.details
|
|
Dictionary of symbols of mathematical logic.Robert Feys (ed.) - 1969 - Amsterdam,: North-Holland Pub. Co..details
|
|
Les Principes Des Mathematiques. Avec Un Appendice Sur La Philosophie Des Mathematiques de Kant.Louis Couturat - 2016 - Wentworth Press.details
|
|
The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning.George Boole - 2017 - Oxford,: Andesite Press.details
|
|
Was Sind und was Sollen Die Zahlen?Richard Dedekind - 1888 - Cambridge University Press.details
|
|
Formal Logic (1847).Augustus De Morgan - 2018 - Franklin Classics.details
|
|
Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Halle a.d.S.: Louis Nebert.details
|
|
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.details
|
|
Symbolic Logic.C. I. Lewis & C. H. Langford - 1932 - Erkenntnis 4 (1):65-66.details
|
|
Logische Syntax der Sprache.R. Carnap - 1936 - Philosophy 11 (41):110-114.details
|
|
Begriffsschrift.Gottlob Frege - 1967 - In Jean Van Heijenoort (ed.), From Frege to Gödel. Cambridge: Harvard University Press. pp. 1-83.details
|
|
Symbolic Logic.Clarence Irving Lewis & Cooper Harold Langford - 1934 - Mind 43 (169):99-109.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
|
|
Les principes des mathématiques.L. Couturat - 1905 - Revue de Métaphysique et de Morale 13:224-256.details
|
|