Hardy, Godfrey Harold 1908 , A Course of Pure Mathematics, published 1993 , ISBN 978-0-521-09227-2• ", Mathematical Intelligencer 6 4 : 72—77 | One metaphor describes the function as a "machine" or "" that converts the input into the output |
---|---|
Ernst Zermelo 1908 A new proof of the possibility of a well-ordering, with commentary by van Heijenoort, pages 183—198 | Wherein Skolem defines Zermelo's vague "definite property" |
Giuseppe Peano 1889 The principles of arithmetic, presented by a new method with commentary by van Heijenoort, pages 83—97• Ernst Zermelo 1908a Investigations in the foundations of set theory I, with commentary by van Heijenoort, pages 199—215.
5Mineola, NY, ISBN 0-486-69609-X pbk• 1, Cambridge at the University Press, Cambridge, UK, republished as a googlebook | Russell, Bertrand 1903 The Principles of Mathematics: Vol |
---|---|
Wherein Russell announces his discovery of a "paradox" in Frege's work | Thoralf Skolem 1922 Some remarks on axiomatized set theory, with commentary by van Heijenoort, pages 290—301 |
Tarski, Alfred 1946 Introduction to Logic and to the Methodolgy of Deductive Sciences, republished 1195 by Dover Publications, Inc.
271967, 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• Reichenbach, Hans 1947 Elements of Symbolic Logic, Dover Publishing Inc | If the function f x is even, a cosine input will produce no odd harmonics but may contain a DC component |
---|---|
Venn, John 1881 Symbolic Logic, Macmillian and Co | Russell, Bertrand 1920 Introduction to Mathematical Philosophy second edition , Dover Publishing Inc |
John von Neumann 1925 An axiomatization of set theory, with commentary by van Heijenoort , pages 393—413.
21