Boole, George (1854), An Investigation into the Laws of Thought on which are founded the Laws of Thought and Probabilities", Walton and Marberly, London UK; Macmillian and Company, Cambridge UK. Republished as a googlebook. {{ citation }} : Check | isbn= value: invalid character ( help ) {{ citation }} : Check | isbn= value: invalid character ( help ) CS1 maint: multiple names: authors list ( link ) Halmos, Paul R. (1970) Naive Set Theory , Springer-Verlag, New York, ISBN 0-387-90092-6 . Reichenbach, Hans (1947) Elements of Symbolic Logic , Dover Publishing Inc., New York NY, ISBN 0-486-24004-5 . Russell, Bertrand (1903) The Principles of Mathematics: Vol. 1 , Cambridge at the University Press, Cambridge, UK, republished as a googlebook. Russell, Bertrand (1920) Introduction to Mathematical Philosophy (second edition), Dover Publishing Inc., New York NY, ISBN 0-486-27724-0 (pbk). Suppes, Patrick (1960) Axiomatic Set Theory , Dover Publications, Inc, New York NY, ISBN 0-486-61630-4 . cf his Chapter 1 Introduction . Tarski, Alfred (1946) Introduction to Logic and to the Methodolgy of Deductive Sciences , republished 1195 by Dover Publications, Inc., New York, NY ISBN 0-486-28462-X Venn, John (1881) Symbolic Logic , Macmillian and Co., London UK. Republished as a googlebook. van Heijenoort, Jean (1967, 3rd printing 1976), From Frege to Godel: A Source Book in Mathematical Logic, 1879–1931 , Harvard University Press, Cambridge, MA, ISBN 0-674-32449-8 (pbk) Gottlob Frege (1879) Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought with commentary by van Heijenoort, pages 1–82 Giuseppe Peano (1889) The principles of arithmetic, presented by a new method with commentary by van Heijenoort, pages 83–97 Bertrand Russell (1902) Letter to Frege with commentary by van Heijenoort, pages 124–125. Wherein Russell announces his discovery of a "paradox" in Frege's work. Gottlob Frege (1902) Letter to Russell with commentary by van Heijenoort, pages 126–128. David Hilbert (1904) On the foundations of logic and arithmetic , with commentary by van Heijenoort, pages 129–138. Jules Richard (1905) The principles of mathematics and the problem of sets, with commentary by van Heijenoort, pages 142–144. The Richard paradox . Bertrand Russell (1908a) Mathematical logic as based on the theory of types , with commentary by Willard Quine , pages 150–182. Ernst Zermelo (1908) A new proof of the possibility of a well-ordering , with commentary by van Heijenoort, pages 183–198. Wherein Zermelo rails against Poincaré's (and therefore Russell's) notion of impredicative definition. Ernst Zermelo (1908a) Investigations in the foundations of set theory I , with commentary by van Heijenoort, pages 199–215. Wherein Zermelo attempts to solve Russell's paradox by structuring his axioms to restrict the universal domain B (from which objects and sets are pulled by definite properties ) so that it itself cannot be a set, i.e., his axioms disallow a universal set. Norbert Wiener (1914) A simplification of the logic of relations , with commentary by van Heijenoort, pages 224–227 Thoralf Skolem (1922) Some remarks on axiomatized set theory , with commentary by van Heijenoort, pages 290–301. Wherein Skolem defines Zermelo's vague "definite property". Moses Schönfinkel (1924) On the building blocks of mathematical logic , with commentary by Willard Quine, pages 355–366. The start of combinatory logic . John von Neumann (1925) An axiomatization of set theory , with commentary by van Heijenoort , pages 393–413. Wherein von Neumann creates "classes" as distinct from "sets" (the "classes" are Zermelo's "definite properties"), and now there is a universal set, etc. David Hilbert (1927) The foundations of mathematics by van Heijenoort, with commentary, pages 464–479.