Labyrinth of thought: A history of set theory and its role in modern mathematics

Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics

Volumn , Issue , 2007, Pages 1-466

  Ferreirós, José ^a  

^a UNIVERSITY OF SEVILLE   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84887983241     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-3-7643-8350-3     Document Type: Book

References (601)

1. ACKERMANN, W. 1937 Die Widerspruchsfreiheit der allgemeinen Mengenlehre, MA 114, 305-15.
2. 1938 Mengentheoretische Begrundung der Logik, MA 115, 1-22.
3. ALEKSANDROV, P. S. 1916 Sur la puissance des ensembles mesurables B, Comptes Rendus, Academie des Sciences de Paris 162, 323-25.
4. ARISTOTLE Organon, in J. Barnes, ed., The Complete Works of Aristotle, 2 vols., Princeton University Press, 1984.
5. ARNAULD, A. P. NICOLE 1662 La Logique ou l'Art de Penser, Paris, Flammarion, 1970.
6. AUSLEIHREG1STER Handwritten record of books and journals loaned to professors and students of the University of Gottingen, kept at the Niedersachsische Staats-und Universitatsbibliothek (Handschriftenabteilung).
7. BEKEMEIER, B. 1987 Martin Ohm (1792-1872): Universitatsmathematik und Schulmathematik in der neuhumanistischen Bildungsreform, Gottingen, Vandenhoeck & Ruprecht.
8. BENACERRAF, P. & H. PUTNAM, eds. 1983 Philosophy of Mathematics: selected readings, Cambridge University Press.
9. BENDIXSON, I. 1883 Quelques theoremes de la theorie des ensembles, AM, 415-429.
10. BENSAUDE-VINCENT, B. 1983 A Founder Myth in the History of Science? The Lavoisier Case, in L. Graham, W. Lepenies & P. Weingart, eds. Functions and Uses of Disciplinary Histories, Dordrecht, Reidel, 53-78.
11. BERNAYS, P. 1930 Die Philosophic der Mathematik und die Hilbertsche Beweistheorie, Blatter fur Deutsche Philosophie 4, 326-67. References to [Bernays 1976], 17-61.
12. 1935 Hilberts Untersuchungen uber die Grundlagen der Arithmetik, in [Hilbert 1932/35], vol. 3, 196-216.
13. 1935a Sur le platonisme dans les mathematiques, L'Enseignement Mathematique 34, 52-69. German trans, in [Bernays 1976], English in [Benacerraf & Putnam 1983], 258-71.
14. 1937/42 A System of Axiomatic Set Theory, Parts I-III, JSL 2, 65-77, 6, 1-17, 7, 65-89, 133-45.
15. 1958 Axiomatic Set Theory, Amsterdam, North-Holland.
16. 1976 Abhandlungen zur Philosophie der Mathematik, Darmstadt, Wissenschaftliche Buchgesellschaft.
17. BERNSTEIN, F. 1905 Untersuchungen aus der Mengenlehre, MA 61, 117-155.
18. BIERMANN, K. R. 1959 Johann Peter Gustav Lejeune Dirichlet. Dokumente fur sein Leben und Wirken, Berlin, Akademie-Verlag.
19. 1966 Karl Weierstrass. Ausgewahlte Aspekte seiner Biographie, JrM 223, 191-220.
20. 1966a Richard Dedekind im Urteil der Berliner Akademie, Forschungen und Fortschritte 40, 301-302.
21. BOCHENSKI, I. M. 1956 Formale Logik, Munchen, Alber.
22. DU BOIS-REYMOND, P. 1875 Versuch einer Classification der willkiirlichen Functionen reeller Argumente nach ihren Aenderungen in den kleinsten Intervallen, JrM 79, 21-37.
23. 1880 der Beweis des Fundamentalsatzes der Integralrechnung, MA 16, 115-128.
24. BOLLING, R. 1997 Georg Cantor - Ausgewahlte Aspekte seiner Biographie, DMV 99, 49-82.
25. BOLLINGER, M. 1972 Geschichtliche Entwicklung des Homologiebegriffs, AHES 9, 94-170.
26. BOLZANO, B. 1817 Rein analytischer Beweis des Lehrsatzes dass zwischen je zwei Werten die ein entgegengesetztes Resultat gewahren, wenigstens eine reelle Wurzel der Gleichung liege, Prag, Haase. Reprint in Ostwald's Klassiker no. 153. English trans, in [Ewald 1996, vol. 1].
27. 1837 Wissenschaftslehre, 4 vols., Seidel, Sulzbach. Reprinted in 1937. Selections translated as Theory of Science, Oxford, Blackwell, 1972.
28. 1851 Paradoxien des Unedlichen, Leipzig, Reclam. Reprint in Leipzig, Meiner, 1920, and Hamburg, 1975. English trans. London, Routledge, 1950.
29. BOOLE, G. 1847 The mathematical analysis of Logic, Cambridge, Macmillan. References to the reprint Oxford, Basil Blackwell, 1951. Reprinted in [Ewald 1996, vol. 1].
30. BOOLOS, G. 1971 The Iterative Concept of Set, Journal of Philosophy 68, 215-31. Reprint in [Benacerraf & Putnam 1983].
31. BOREL, E. 1898 Legons sur la theorie des fonctions, Paris, Gauthier-Villars.
32. BORGA, M., P. FREGUGLIA & D. PALLADINO 1985 I contributi fondazionali della scuola di Peano, Milano, Angeli.
33. BOS, H., H. MEHRTENS & I. SCHNEIDER, eds. 1981 Social history of nineteenth century mathematics, Boston, Birkhauser.
34. BOTTAZZINI, U. 1977 Riemanns Einfluss auf Betti und Casorati, AHES 18, 27-37.
35. 1985 Dall'Analisi Matematica al Calcolo Geometrico: Origini Delle Prime Ricerche di Logica di Peano, HPL 6, 25-52.
36. 1986 The Higher Calculus: A History of Real and Complex Analysis from Euler to Weierstrass, New York, Springer.
37. BOURBAKI, N. 1949 Foundations of Mathematics for the Working Mathematician, JSL 14, 1-8.
38. 1950 The Architecture of Mathematics, AMM 67, 221-32. Reprinted in [Ewald 1996], vol. 2.
39. 1954 Theorie des ensembles, Paris, Hermann.
40. 1994 Elements of the history of mathematics, Berlin, Springer (original edition 1969).
41. BROUWER, L. E. J. 1910 Zur Analysis Situs, MA 68, 422-34. English trans, in [Brouwer 1975/76].
42. 1911 Beweis der Invarianz der Dimensionszahl, MA 70, 161-65. English trans, in [Brouwer 1975/76].
43. 1918 Begriindung der Mengenlehre unabhangig vom logischen Satz vom ausgeschlossenen Dritten, I, Verhandelingen der Koninklijke Nederlandse Akademie van Wetenschappen te Amsterdam 12. English trans, in [Brouwer 1975/76].
44. 1925 Zur Begriindung der intuitionistischen Mathematik, I, MA 93, 244-57. English trans, in [Brouwer 1975/76].
45. 1975/76 Collected Works, A. Heyting and H. Fredenthal, eds., 2 vols., Amsterdam, North-Holland.
46. BUNN, R. 1980 Developments in the Foundations of Mathematics from 1870 to 1910, in [Grattan-Guinness 1980].
47. BURALI-FORTI, C. 1896 Le classi finite, Atti della Academia delle Scienze di Torino 32, 34-52.
48. 1897 Una questione sui numeri transfiniti, Rendiconti del Circolo Matematico di Palermo 11, 154-64. References to the English trans, in [van Heijenoort 1967], 104-11.
49. BUTZER, P. L. 1987 Dirichlet and His Role in the Founding of Mathematical Physics, Archives Internationales d'histoire des sciences 37, 49-82.
50. CANEVA, K. L. 1978 From Galvanism to Electrodynamics: The Transformation of German Physics and Its Social Context, Historical Studies in the Physical Sciences 9, 63-159.
51. CANTOR, G. 1872 Liber die Ausdehnung eines Satzes aus der Theorie der trigonometrischen Reihen, MA 5, 123-32. References to [Cantor 1932], 92-101.
52. 1874 Uber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen, JrM 77, 258-62. References to [Cantor 1932], 115-118. English trans, in [Ewald 1996], vol. 2.
53. 1878 Ein Beitrag zur Mannigfaltigkeitslehre, JrM 84, 242-58. References to [Cantor 1932], 119-133.
54. 1879/84 Uber unendliche, lineare Punktmannichfaltigkeiten, MA 15, 1-7, 17, 355-58, 20, 113-21, 21, 51-58, 545-86, 23, 453-88. References to [Cantor 1932], 139-244.
55. 1883 Grundlagen einer allgemeinen Mannigfaltigkeitslehre, Leipzig, 1883 (separate edition of [Cantor 1879/84], part 5). References to [Cantor 1932], 165-208. English trans, in [Ewald 1996], vol. 2.
56. 1886 Uber die verschiedenen Standpunkte in bezug auf das aktuelle Unendliche, Zeitschrift fur Philosophic und philosophische Kritik 88, 224-33. References to [Cantor 1932], 370-76.
57. 1887/88 Mitteilungen zur Lehre vom Transfiniten, Zeitschrift fur Philosophic und philosophische Kritik 91, 81-125, 252-70, 92, 250-65. References to [Cantor 1932], 378-439.
58. 1892 Uber eine elementare Frage der Mannigfaltigkeitslehre, DMV 1, 75-78. References to [Cantor 1932], 278-280. English trans, in [Ewald 1996], vol. 2.
59. 1895/97 Beitrage zur Begriindung der transfiniten Mengenlehre, MA 46, 481-512, 49, 207-46. References to [Cantor 1932], 282-351.
60. 1915 Contributions to the founding of the Theory of Transfinite Numbers, Chicago, Open Court. Reprint New York, Dover, 1955.
61. 1932 Gesammelte Abhandlungen mathematischen und philosophischen Inhalts, ed. E. Zermelo, Berlin, Springer. Reprint Hildesheim, G. Olms, 1966.
62. 1970 Principien einer Theorie der Ordnungstypen, in [Grattan-Guinness 1970], 83-101.
63. CANTOR, G. & R. DEDEKIND 1932 Aus dem Briefwechsel zwischen Cantor und Dedekind (1899 letters), in [Cantor 1932], 443-450. English trans, in [Ewald 1996], vol. 2.
64. 1937 Cantor-Dedekind Briefwechsel, ed. E. Noether and J. Cavailles, Paris, Hermann. French translation including the 1899 letters in [Cavailles 1962], 187-249. English trans, in [Ewald 1996], vol. 2.
65. 1976 Unveroffentlichter Briefwechsel, in [Dugac 1976], 223-262.
66. CARNAP, R. 1929 Abriss der Logistik, mit besonderer Beriicksichtigung der Relationstheorie und ihrer Anwendungen, Wien, Springer, 1929.
67. 1931 Die logizistische Grundlegung der Mathematik, Erkenntnis 2, 91-105.
68. 1937 The Logical Syntax of Language, New York, Harcourt, Brace.
69. 1963 Intellectual Autobiography, in P. A. Schilpp, ed., The Philosophy of R. Carnap, La Salle, 111., Open Court, 1963.
70. CAUCHY, A. L. 1821 Cows d'analyse algebrique, Paris. In Oeuvres completes, ser. 2, Paris, Gauthier-Villars, 1897-99, vol. 3.
71. CAVAILLES, J. 1932 Sur la deuxieme definition des ensembles finis donnee par Dedekind, FM 19, 142-148.
72. 1962 Philosophie mathematique, Paris, Hermann.
73. CHURCH, A. 1937 Review of E. T. Bell, Men of Mathematics, JSL 2, 95.
74. 1937a Review of L. Chwistek, Uberwindung des Begriffsrelativismus, JSL 2, 169? (this includes an interesting short analysis of Chwistek's logical work).
75. 1939 The present situation in the foundations of mathematics, in F. Gonseth, Philosophie mathematique, Paris, Hermann, 1979.
76. 1940 A Formulation of the Simple Theory of Types, JSL 5, 56-68.
77. 1956 Introduction to Mathematical Logic, Princeton University Press.
78. CHWISTEK, L. 1921 Uber die Antinomien der Principien der Mathematik, Mathematische Zeitschrift 14.
79. CLIFFORD, W. K. 1882 Mathematical Papers, New York, Chelsea, 1968.
80. COFFA, J. A. 1979 The Humble Origins of Russell's Paradox, Russell 33-34, 31-37.
81. COOKE, R. 1991 Uniqueness of Trigonometric Series and Descriptive Set Theory, 1870-1985, draft of communication to the Second Annual Gottingen Workshop on the History of Modern Mathematics.
82. CORRY, L. 1996 Modern Algebra and the Rise of Mathematical Structures, Basel, Birkhauser.
83. COURANT, R. 1926 Bernhard Riemann und die Mathematik der letzten hundert Jahre, Naturwissenschaften 14, 813-818, 1265-1277.
84. COUTURAT, L. 1896 De l'infmie mathematique, Paris, Alcan.
85. 1901 La logique de Leibniz, d'apres des documents inedits, Paris, Alcan.
86. CREATH, R., ed. 1990 Dear Carnap, Dear Van: The Quine-Carnap correspondence and related work, University of California Press.
87. CURRY, H. B. 1939 Remarks on the Definition and Nature of Mathematics, Dialectica, 8(1954), 228-233. References to reprint in [Benacerraf & Putnam 1983].
88. VAN DALEN, D. 1995 The War of the Frog and Mice, The Mathematical Intelligencer.
89. DAUBEN, J. W. 1979 Georg Cantor. His Mathematics and Philosophy of the Infinite, Cambridge, Harvard University Press.
90. 1980 The development of Cantorian set theory, in [Grattan-Guinness 1980], 235-282.
91. 1981 ed. Mathematical Perspectives. Essays on mathematics and its historical, development, New York, Academic Press.
92. DAWSON, J. W., Jr. 1984 Discussion on the Foundations of Mathematics, HPL 5, 111-129.
93. 1985 The Reception of Godel's Incompleteness Theorems, in Philosophy of Science Association 1984, vol. 2, p. 253-271.
94. 1985a Completing the Godel-Zermelo Correspondence, HM 12, 66-70.
95. DEANO, A. 1980 Las concepciones de la Logica, Madrid, Taurus.
96. DEDEKIND, R. Cod. Ms. Dedekind. Scientific legacy or Nachlass kept at the Niedersachsische Staatsund Universitatsbibliothek (Handschriftenabteilung) in Gottingen.
97. 1854 Uber die Einfiihrung neuer Funktionen in der Mathematik, [Dedekind 1930/32], vol. 3, 428-438. English trans, in [Ewald 1996], vol. 2.
98. 1871 Uber die Komposition der binaren quadratischen Formen, Supplement X to 2nd edn. of [Dirichlet 1894]. References to the partial reprint [Dedekind 1930/32], vol. 3, 223-261.
99. 1872 Stetigkeit und irrationale Zahlen, Braunschweig, Vieweg. References to [Dedekind 1930/32], vol. 3, 315-334. English trans, in [Ewald 1996], vol. 2.
100. 1872/78 Gedanken uber die Zahlen (first draft for [Dedekind 1888]), in [Dugac 1976], 293-309.
101. 1876 Bernhard Riemann's Lebenslauf, in [Riemann 1892], 541-58.
102. 1877 Sur la theorie des nombres entiers algebriques, Bulletin des Sciences mathematiques et astronomiques, 11(1876), 1 (1877). Separate edn. Paris, Gauthier-Villars, 1977. References to the partial reprint [Dedekind 1930/32], vol. 3, 262-296.
103. 1879 Uber die Theorie der ganzen algebraischen Zahlen, Supplement XI to 3rd edn. of [Dirichlet 1894]. Partial reprint in [Dedekind 1930/32], vol. 3, 297-314.
104. 1888 Was sind und was sollen die Zahlen?, Braunschweig, Vieweg. References to [Dedekind 1930/32], vol. 3, 335-390. English trans, in [Ewald 1996], vol. 2.
105. 1894 Uber die Theorie der ganzen algebraischen Zahlen, Supplement XI to [Dirichlet 1894].
106. 1895 Uber die Begriindung der Idealtheorie, NG, 106-13. [Dedekind 1930/32], vol. 2, 50-58.
107. 1901 Essays on the Theory of Numbers, Chicago, Open Court. English translation of [Dedekind 1872] and [1888]. Reprint New York, Dover, 1963.
108. 1930 Gesammelte mathematische Werke, ed. R. Fricke, E. Noether and 0. Ore, Braunschweig, 3 vols. Reprint in 2 vols. New York, Chelsea, 1969.
109. 1981 Eine Vorlesung uber Algebra, in [Scharlau 1981], 59-100.
110. DEDEKIND, R. & H. WEBER 1882 Theorie der algebraischen Funktionen einer Veranderlichen, JrM 92, 181-290. References to [Dedekind 1930/32, vol. 1, 238-350].
111. DE MORGAN, A. 1858 On the Syllogism, III, Transactions of the Cambridge Philosophical Society 10, 173-230. References to [De Morgan 1966].
112. 1966 On the Syllogism and other logical writings, ed. P. Heath, London, Routledge
113. DETLEFSEN, M. 1986 Hilbert's Program. An essay on mathematical instrumentalism, Dordrecht, Reidel.
114. DHOMBRES, J. 1978 Nombre, Mesure et Continue, Paris, Cedic-Nathan.
115. DIEUDONNE, J., ed. 1978 Abrege d'histoire des mathematiques, 1700-1900, 2 vols., Paris, Hermann.
116. DIM, U. 1878 Fondamenti per la teorica delle funzioni di variabili reali, Pisa, Nistri.
117. DIRICHLET, P. G. Lejeune 1829 Sur la convergence des series trigonometriques qui servent a representer une fonction arbitraire entre des limites donnees, JrM 4, 157-69. References to [Dirichlet 1889/97], vol. 1, 283-306.
118. 1837 Uber die Darstellung ganz willkurlicher Functionen durch Sinus-und Cosinusreihen, Repertorium der Physik 1, 152-74. References to [Dirichlet 1889/97], vol. 1, 133-160.
119. 1889/97 G. Lejeune Dirichlet's Werke, Berlin, Reimer. Reimpreso en New York, Chelsea, 1969.
120. 1894 Vorlesungen uber Zahlentheorie, ed. R. Dedekind, 4th edn., Braunschweig, Vieweg (first 1863, second 1871, third 1879). Reprint New York, Chelsea, 1968.
121. DROBISCH, M. W. 1836 Neue Darstellung der Logik nach ihren einfachen Verhaltnissen, Leipzig, Voss.
122. DUGAC, P. 1973 Elements d'analyse de Karl Weierstrass, AHES 10, 41-176.
123. 1976 Richard Dedekind et les fondements des mathematiques (avec de nombreux textes inedits), Paris, Vrin.
124. 1981 Richard Dedekind et l'application comme fondement des mathematiques, in [Scharlau 1981], 134-144.
125. 198la Des fonctions comme expresions analytiques aux fonctions representables analytiquement, in [Dauben 1981], 13-36.
126. 1984 Georg Cantor et Henri Poincare, Bolletino di Storia delle Scienze Mathematiche 4, 65-96.
127. ECKERMANN, J. P. 1909 Gesprdche mit Goethe in den letzten Jahren seines Lebens, Leipzig, Brockhaus.
128. EDWARDS, H. M. 1980 The Genesis of Ideal Theory, AHES 23, 321-378.
129. 1981 Kronecker's Place in History, in [Dauben 1981], 139-144.
130. 1983 Dedekind's Invention of Ideals, Bulletin of the London Mathematical Society 15, 8-17. Reprint in [Phillips 1987], 8-20.
131. 1989 Kronecker's Views on the Foundations of Mathematics, in [Rowe & McCleary 1989], 67-77.
132. EDWARDS, H. M., O. NEUMANN & W. PURKERT 1982 Dedekinds «Bunte Bemerkungen» zu Kroneckers «Grundzuge», AHES 11, 49-85.
133. EPPLE, M. 1995 Branch Points of Algebraic Functions and the Beginnings of Modern Knot Theory, HM 22, 371-401.
134. EYNDE, R. vanden 1992 Historical Evolution of the Concept of Homotopic Paths, AHES 45, 127-88.
135. EULER, L. 1796 Vollstandige Anleitung zur niedern und hohern Algebra, Berlin.
136. References to Opera Omnia, vol. 1, Leipzig, Teubner, 1911.
137. EWALD, W. B. 1996 From Kant to Hilbert: A source book in the foundations of mathematics, 2 vols., Oxford University Press.
138. FECHNER, G. T. 1864 Uber die physikalische und philosophische Atomenlehre, Leipzig, Mendelssohn.
139. FEFERMAN, S. 1988 Weyl vindicated: "Das Kontinuum" 70 Years Later, in Atti del Congreso Temi e propettive della logica e della filosofia della scienza contemporanea, Bologna, CLUEB, vol. 1, 59-93
140. FELGNER, U. 1971 Comparison of the Axioms of Local and Universal Choice, FM 71, 43-62.
141. FERREIROS, J. 1990 ?Por que el algebra simbolica britanica no fue un algebra estructural?, in A. Diaz et al., eds., Structures in Mathematical Theories, Universidad del Pais Vasco, 241-244.
142. 1991 La confluencia de algebra y logica en la obra de Augustus De Morgan, in Actas del V Congreso de la S. E. H. C.yT., Universidad de Murcia, vol. 3, 2072-86.
143. 1992 Sobre los origenes de la matematica abstracta: Richard Dedekind y Bernhard Riemann, Theoria 16-17-18
144. tomo A, 473-498. Short version in S. Garma, D. Flament & V. Navarro, eds., Contre les titanes de la routine, Madrid, CSIC, 1994, 301-18.
145. 1993 On the Relations between Cantor and Dedekind, HM 20, 343-363.
146. 1993a El nacimiento de la teoria de conjuntos, 1854-1908, Madrid, Publicaciones de la Universidad Autonoma.
147. 1995 «What Fermented in Me for Years»: Cantor's Discovery of Transfinite Numbers, HM 22, 33-42.
148. 1996 Traditional Logic and the Early History of Sets, 1854-1908, AHES 50, 5-71.
149. 1997 Notes on Types, Sets, and Logicism, 1930-1950, Theoria 12, 91-124.
150. FITCH, F. B. 1938 The Consistency of the Ramified Principia, JSL 3, 140-149.
151. FORSGREN, K. A. 1992 Satz, Satzarten, Satzglieder. Zur Gestaltung der traditionellen Grammatik von K. F. Becker bis K. Duden 1830-1880, Munster, Nodus.
152. FOURIER, J. 1822 Theorie analytique de la chaleur, Paris, Gabay, 1988.
153. FRAENKEL, A. 1922 Uber den Begriff "definit" und die Unabhangigkeit des Auswahlaxioms, Sitzungsberichte der Preussischen Akademie der Wissenschaften, 253-57. References to the English trans, in [van Heijenoort 1967], 285-89.
154. 1922a Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre, MA 86, 230-37.
155. 1923 Einleitung in die Mengenlehre. Eine elementare Einfuhrung in das Reich des Unendlichgrossen, 2nd augmented edn., Berlin, Springer (first published in 1919).
156. 1925 Untersuchungen iiber die Grundlagen der Mengenlehre, Mathematische Zeitschrift 22, 250-73.
157. 1926 Axiomatische Theorie der geordneten Mengen, JrM 155, 129-58.
158. 1928 Einleitung in die Mengenlehre, 3rd augmented edn., Berlin, Springer.
159. 1930 Georg Cantor, DMV 39, 189-266. Short version in [Cantor 1932], 452-483.
160. 1932 Axiomatische Theorie der Wohlordnung, JrM 167, 1-11.
161. 1967 Lebenskreise. Aus den Erinnerungen eines Judischen Mathematikers, Stuttgart, Deutsche Verlags-Anstalt.
162. FRAENKEL, A. & Y. BAR-HILLEL 1958 Foundations of set theory, Amsterdam, North-Holland.
163. FRAENKEL, A., Y. BAR-HILLEL & A. LEVY 1973 Foundations of set theory, Amsterdam, North-Holland.
164. FRAPOLLI, M. J. 1992 The Status of Cantorian Numbers, Modern Logic 2, 365-382.
165. FREGE, G. 1879 Begriffschrift, Halle, Nebert. Reprint in Hildesheim, Olms, 1964.
166. 1884 Die Grundlagen der Arithmetik, Breslau, Koebner.
167. 1893 Grundgesetze der Arithmetik, vol. 1, Jena, Pohle. Reprint Hildesheim, Olms, 1966.
168. 1895 A Critical Elucidation of some Points in E. Schroder, Vorlesungen uber die Algebra der Logik, in [Frege 1984], 210-228.
169. 1903 Grundgesetze der Arithmetik, vol. 2 of [Frege 1893].
170. 1969 Nachgelassene Schriften, H. Hermes, F. Kambartel, F. Kaulbach eds., Hamburg, Meiner.
171. 1980 Philosophical and mathematical correspondence, Oxford, Basil Blackwell.
172. 1984 Collected papers on mathematics, logic and philosophy, Oxford, Basil Blackwell.
173. FREI, G. & U. STAMMBACH 1994 Die Mathematiker and den Zurcher Hochschulen, Basel, Birkhauser.
174. FREUDENTHAL, H. 1962 The Main Trends in the Foundations of Geometry in the 19th Century, in Logic, Methodology and Philosophy of Science, Stanford Univ. Press, 613-21.
175. 1981 Riemann, in [Gillispie 1981], vol. 10, 447-56.
176. FR1SCH, J. C. 1969 Extension and Comprehension in Logic, New York, Philosophical Library.
177. FROBENIUS, G. 1893 Gedachtnisrede auf Leopold Kronecker, in Gesammelte Abhandlungen vol. 3, Berlin, Springer, 1968, 705-724.
178. GANA, F. 1985 Peirce e Dedekind: La Definizione di Insieme Finito, HM 12, 203-218.
179. GARCIADIEGO, A. R. 1985 The Emergence of Some of the Non-Logical Paradoxes of the Theory of Sets, HM 12, 337-351.
180. 1986 On Rewriting the History of the Foundations of Mathematics at the Turn of the Century, HM 13, 39-41.
181. 1992 Bertrand Russell and the origins of the set theoretical paradoxes, Basel, Birkhauser.
182. 1994 The Set-theoretic Paradoxes, in I. Grattan-Guinness, ed., 629-34.
183. GAUSS, C. F. 1801 Disquisitiones arithmeticae, Leipzig, Fleischer. References to [Gauss 1863/1929], vol. 1. English translation New Haven, 1966.
184. 1827 Disquisitiones generales circa superficies curvas, [Gauss 1863/1929], vol. 4, 217-258.
185. German translation in Gaussche Fldchentheorie, Riemannsche Rdume und Minkowski-Welt, Leipzig, Teubner, 1984.
186. 1831 Anzeige der [Gauss 1832], Gottingische gelehrte Anzeigen. References to [Gauss 1863/1929], vol. 2, 169-178. English trans, in [Ewald 1996], vol. 1.
187. 1832 Theoria residuorum biquadraticorum, commentatio secunda, [Gauss 1863/1929], vol. 2, 93-148.
188. 1849 Beitrage zur Theorie der algebraischen Gleichungen, [Gauss 1863/1929], vol. 3, 71-102.
189. 1863/1929 Werke, 12 vols., Gottingen, Dieterich. Reprint Hildesheim, Olms, 1973.
190. GEISON, G. L. 1981 Scientific Change, Emerging Specialties, and Research Schools, History of Science 19, 20-40.
191. 1993 Research Schools and New Directions in the Historiography of Science, Osiris 8, 227-38.
192. GERICKE, H. 1970 Geschichte des Zahlbegriffs, Mannheim, B. I. Hochschultaschenbuch.
193. 1971 Zur Geschichte des Zahlbegriffs, Math. Semesterberichte 18, 161-173.
194. 1973 Vorgeschichte der Mengenlehre, Math. Semesterberichte 20, 151-170.
195. GILLISPIE, C. C. 1981 Dictionary of scientific biography, 16 vols, en 8, New York, Scribner's Sons.
196. GODEL, K. 1931 Uber formal unentscheidbare Satze der Principia mathematica und verwandter Systeme I, Monatshefte fur Mathematik und Physik 38, 173-198. References to [Godel 1986/90], vol. 1, 144-95.
197. 1938 The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis, NAS 24, 556-57. References to [Godel 1986/90], vol. 2, 26-27.
198. 1939 Consistency Proof for the Generalized Continuum Hypothesis, NAS 25, 220-24. References to [Godel 1986/90], vol. 2, 28-32.
199. 1940 The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory, Princeton University Press; reprinted with additional notes in 1951 and 1966. References to [Godel 1986/90], vol. 2, 33-101.
200. 1944 Russell's Mathematical Logic, in P. A. Schilpp, ed., The philosophy of Bertrand Russell, La Salle, 111., Open Court. References to [Godel 1986/90], vol. 2, 119-41.
201. 1947 What is Cantor's continuum problem?, AMM 54. References to [Godel 1986/90], vol. 2, 176-87. Revised and expanded version of 1964 in [Benacerraf & Putnam 1983].
202. 1986/90 Collected Works, ed. S. Feferman et al., Oxford University Press, 3 vols.
203. GOLDFARB, W. 1979 Logic in the Twenties: The Nature of the Quantifier, JSL 44, 351-368.
204. 1988 Poincare Against the Logicists, in W. Aspray & Ph. Kitcher, eds., History and Philosophy of Modern Mathematics, Minneapolis, University Press.
205. GRABINER, J. 1981 The Origins of Cauchy's Rigorous Calculus, Cambridge, Mass.
206. GRASSMANN, H. 1844 Die Lineale Ausdehnungslehre, Leipzig, Teubner. In [Grassmann 1894], vol. 1, 1-319.
207. 1861 Lehrbuch der Arithmetik fur hohere Lehranstalten, Berlin, Enslin.
208. 1894 Gesammelte mathematische undphysikalische Schriften, 3 vols., Leipzig, Teubner, 1894-1911. Reprint New York, Chelsea, 1969.
209. GRATTAN-GUINNESS, I. 1970 An unpublished paper by Georg Cantor: Principien einer Theorie der Ordnungstypen. Erste Mitteilung, AM 124, 65-107.
210. 1971 Towards a Biography of Georg Cantor, AS 11, 345-391.
211. 1971a The correspondence between Georg Cantor and Philip Jourdain, DMV 73, 111-130.
212. 1972 Bertrand Russell on his Paradox and the Multiplicative Axiom: An unpublished letter to P. Jourdain, Journal of Philosophical Logic 1, 103-10.
213. 1974 The rediscovery of the Cantor-Dedekind correspondence, DMV 76, 104-139.
214. 1978 How B. Russell Discovered his Paradox, HM 5, 127-37.
215. 1979 In Memoriam Kurt Godel: His 1931 correspondence with Zermelo on his incompletability theorem, HM 6, 294-304.
216. 1980 ed. From the Calculus to Set Theory, 1630-1910, Londres, Duckworth, 1980.
217. 1980a The Emergence of Mathematical Analysis and the Progress in its Foundations from 1780 to 1880, in [Grattan-Guinness 1980], 125-193.
218. 1981 On the Development of Logics Between the Two World Wars, AMM 88, 495-509.
219. 1984 Notes on the Fate of Logicism from Principia Mathematica to Godel's Incompletability Theorem, HPL 5, 67-78.
220. GRAY, J. 1989 Ideas of Space. Euclidean, Non-Euclidean and Relativistic, Oxford, Clarendon.
221. HADAMARD, J., R. BAIRE, E. BOREL & H. LEBESGUE 1905 Cinq lettres sur la theorie des ensembles, Bulletin de la Societe Mathematique de France 33, 261-273. English translation in [Moore 1982].
222. HALLETT, M. 1984 Cantorian Set Theory and Limitation of Size, Oxford, Clarendon.
223. 1991 Hilbert's Axiomatic Method and the Laws of Thought, in A. George, ed., Mathematics and Mind, Oxford University Press, 1994, 158-200.
224. HAMILTON, W. R. 1837 Theory of Conjugate Functions, or Algebraic Couples; with a preliminary and elementary Essay on Algebra as the Science of Pure Time, Transactions of the Royal Irish Academy 17, 293-422. References to [Hamilton 1967], 3-96.
225. 1853 Preface to Lectures on Quaternions, Dublin, Hodges & Smith. References to [Hamilton 1967], 117-155. Reprint in [Ewald 1996], vol. 1.
226. 1967 The Mathematical Papers, vol. 3, Cambridge, University Press.
227. HANKEL, H. 1867 Vorlesungen iiber komplexe Zahlen und Funktionen. I. Theil: Theorie der komplexen Zahlensysteme, Leipzig, Voss.
228. 1870 Untersuchungen iiber die unendlich oft oszillierenden und unstetigen Funktionen (Gratulationsprogramm, Tubingen, 1870), MA 20(1882), 63-112.
229. HANKINS, T. L. 1976 Triplets and Triads: Sir William Rowan Hamilton on the Metaphysics of Mathematics, Isis 68, 175-193.
230. Sir William Rowan Hamilton, Baltimore.
231. HARNACK, A. 1882 Vereinfachung der Beweise in der Theorie der Fourier'schen Reihe, MA 19, 235-279, 524-528.
232. 1885 Uber den Inhalt von Punktmengen, MA 25, 241-250.
233. HARTOGS, F. 1915 Uber das Problem der Wohlordnung, MA 76, 436-43.
234. HAUBRICH, R. 1993 Die Herausbildung der algebraischen Zahlentheorie als wissenschaftliche Disziplin, unpublished draft of conference for the 4th Annual Gottingen Workshop on the History of Modern Mathematics.
235. 1999 The Genesis of Richard Dedekind's Algebraic Number Theory, (unpublished manuscript).
236. HAUSDORFF, F. 1904 der Potenzbegriff in der Mengenlehre, DMV 13, 569-71.
237. 1908 Grundziige einer Theorie der geordneten Mengen, MA 65, 435-505.
238. 1914 Grundziige der Mengenlehre, Leipzig, Veit. Reprint New York, Chelsea, 1949.
239. 1916 Die Machtigkeit der Borelschen Mengen, MA 77, 430-37.
240. 1927 Mengenlehre, Berlin, W. de Gruyter. 2nd, shortened edn. of [Hausdorff 1914].
241. HAWKINS, T. W. 1970 Lebesgue's theory of integration. Its origins and development, New York, Chelsea, 1975.
242. 1980 The origins of Modern Theories of Integration, in [Grattan-Guinness 1980], 194-234.
243. 1981 The Berlin School of Mathematics, in [Bos, Mehrtens & Schneider 1981], 233-245.
244. 1984 The Erlanger Programm of Felix Klein: Reflections on its place in the history of mathematics, HM 442-470.
245. VAN HEIJENOORT, J. 1967 From Frege to Godel. A source book in mathematical logic, 1879-1931, Cambridge/London, Harvard Univesity Press.
246. HEINE, E. 1870 Uber trigonometrische Reihen, JrM 71, 353-365.
247. 1872 Die Elemente der Funktionenlehre, JrM 74, 172-188.
248. HELLMAN, G. 1981 How to Godel a Frege-Russell: Godel's incompleteness theorems and logicism, Noûs 4, 451-68
249. 1989 Mathematics Without Numbers, Oxford University Press.
250. HELMHOLTZ, H. 1868 Uber die Tatsachen, die der Geometrie zu Grunde liegen, NG, 193-221. Reprinted in[Helmholtz 1921].
251. 1887 Zahlen und Messen erkenntnistheoretisch betrachtet, in Philosophische Aufsdtze fur E. Zeller, Leipzig, Fues. References to [Helmholtz 1921], 70-108. English trans, in [Ewald 1996], vol. 2.
252. 1921 Schriften zur Erkenntnistheorie, ed. P. Hertz and M. Schlick, Berlin, Springer.
253. HEMPEL, C. G. 1945 On the Nature of Mathematical Truth, AMM 52, 543-556. References to reprint in [Benacerraf & Putnam 1983, 377-393].
254. HENDRY, J. 1984 The Evolution of William Rowan Hamilton's View of Algebra as the Science of Pure Time, Studies in the History and Philosophy of Science 15, 63-81.
255. HERBART, J. F. 1808 Hauptpunkte der Logik, in [Herbart 1964], vol. 2, 217-26.
256. 1824 Die Psychologie als Wissenschaft, neu gegriindet auf Erfahrung, Metaphysik und Mathematik, vol. 1, in [Herbart 1964], vol. 5, 177-402.
257. 1825 Die Psychologie als Wissenschaft, neu gegriindet auf Erfahrung, Metaphysik und Mathematik, vol. 2, in [Herbart 1964], vol. 6, 1-339.
258. 1837 Lehrbuch zur Einleitung in die Philosophic Zweyter Abschnitt: Die Logik, in [Herbart 1964], vol. 4, 67-104.
259. 1964 Samtliche Werke in chronologischer Reihenfolge, 19 vols., Langensalza, 1879-1912. Reprint Aalen, Scientia, 1964.
260. HESSENBERG, G. 1906 Grundbegriffe der Mengenlehre, Gottingen, Vandenhoeck & Ruprecht.
261. 1909 Kettentheorie und Wohlordnung, JrM 135, 81-133
262. HEYTING, A. 1956 Intuitionism: An introduction, Amsterdam, North-Holland.
263. HILBERT, D. 1897 Die Theorie der algebraischen Zahlkorper, DMV 4, 175-546. References to [Hilbert 1932/35], vol. 1, 63-363.
264. 1900 Mathematische Probleme. Vortrag, gehalten auf dem internationalen Mathematiker-Congress zu Paris, NG, 253-97. References to [Hilbert 1932/35], vol. 3, 290-339.
265. English translation in Bulletin of AMS 8(1902), 437-79. Partial translation in [Ewald 1996], vol. 2.
266. 1900a Uber den Zahlbegriff, DMV 8, 180-94. References to [Hilbert 1930], 241-46. English trans, in [Ewald 1996], vol. 2.
267. 1904 Uber die Grundlagen der Logik und Arithmetik, in Verhandlungen des dritten internationalen Mathematiker-Kongresses in Heidelberg, Leipzig, Teubner, 1905. Reprint in [Hilbert 1930], 247-61. References to English translation in [van Heijenoort 1967], 129-38.
268. 1918 Axiomatisches Denken, MA 78, 405-15. References to [Hilbert 1932/35], vol. 3, 146-56. English trans, in [Ewald 1996], vol. 2.
269. 1922 Neubegriindung der Mathematik, Abhandlungen mathematischen Seminar Universitat Hamburg 1, 157-77. References to to [Hilbert 1932/35], vol. 3, 157-77. English trans, in [Ewald 1996], vol. 2.
270. 1923 Die logischen Grundlagen der Mathematik, MA 88, 151-65. References to [Hilbert 1932/35], vol. 3, 178-91. English trans, in [Ewald 1996], vol. 2.
271. 1926 fiber das Unendliche, MA 95, 161-90. Short version in [Hilbert 1930]. References to the English translation in [van Heijenoort 1967], 367-92.
272. 1928 Die Grundlagen der Mathematik, Abhandlungen mathematischen Seminar Universitdt Hamburg 6, 65-85. English trans, in [van Heijenoort 1967].
273. 1929 Probleme der Grundlegung der Mathematik, MA 102, 1-9.
274. 1930 Grundlagen der Geometrie, 7th edn. (1st 1899, 2nd 1903), Leipzig, Teubner.
275. 1931 Die Grundlegung der elementaren Zahlenlehre, MA 104, 485-94. Partial reprint in [Hilbert 1932/35], vol. 3, 192-95. References to the English translation in [Ewald 1996], vol. 2.
276. 1932/35 Gesammelte Abhandlungen, 3 vols., Berlin, Springer.
277. HILBERT, D. & W. ACKERMANN 1928 Grundzuge der theoretischen Logik, Berlin, Springer. 2nd edn. 1938.
278. HILBERT, D. & P. BERNAYS 1934/39 Grundlagen der Mathematik, 2 vols., berlin, Springer.
279. HOFFMANN, L. 1858/67 Mathematisches Worterbuch, Berlin, Wiegandt und Hempel.
280. HURWITZ, A. 1894 Liber die Theorie der Ideale, NG, 291-98.
281. Reprint in Werke, vol. 2, 191-97.
282. 1895 Uber einen Fundamentalsatz deer arithmetischen Theorie der algebraischen Grossen, NG, 230-40.
283. Reprint in Werke, vol. 2, 198-207.
284. JAHNKE, H. N. 1987 Motive und Probleme der Arithmetisierung der Mathematik in der ersten Halfte des 19. Jahrhunderts - Cauchys Analysis in der Sicht des Mathematikers Martin Ohm, AHES 37, 101-182.
285. 1990 Mathematik und Bildung in der Humboldtschen Reform, Gottingen, Vandenhoeck & Ruprecht.
286. JAHNKE, H. N. & M. OTTE 1981 Origins of the Programm of «Arithmetization of Mathematics», in [Bos, Mehrtens & Schneider 1981], 21-49.
287. JANE, I. 1995 The Role of the Absolute Infinite in Cantor's Conception of Set, Erkenntnis 42, 375-402.
288. JOHNSON, D. M. 1979/81 The Problem of the Invariance of Dimension in the Growth of Modern Topology, AHES 20, 97-188, 25, 85-266.
289. JORDAN, C. 1870 Traite des substitutions et des equations algebriques. Paris, Gauthier-Villars. Reprint 1957.
290. 1893 Cows d'analyse de l'Ecole Polytechnique, 2nd edn., Paris, Gauthiers-Villars.
291. JOURDAIN, P. E. B. 1906/14 The Development of the Theory of Transfmite Numbers, Archiv fur Mathematik und Physik 10, 254-281, 14, 287-311, 16, 21-43, 22, 1-21.
292. 1910/13 The Development of Theories of Mathematical Logic and the Principles of Mathematics, Quarterly Journal for pure and applied Mathematics 41, 324-352, 43, 219-314, 44, 113-128.
293. JUNGNICKEL, C. & R. McCORMACH 1986 Intelectual Mastery of Nature. Theoretical Physics from Ohm to Einstein. Vol. I. The Torch of Mathematics, 1800-1870, University of Chicago Press.
294. KANAMORI, A. 1994 The Higher Infinite, Berlin, Springer.
295. 1995 The Emergence of Descriptive Set Theory, in J. Hintikka, ed., From Dedekind to Godel, Dordrecht, Kluwer.
296. 1996 The Mathematical Development of Set Theory from Cantor to Cohen, BSL 2.
297. KANT, I. 1787 Kritik der reinen Vernunft, Riga, Hartknoch. In Kants Werke, vol. 3, Berlin, Akademie, 1911, reprint 1968. All references to edition B. English translation London, Macmillan, 1933.
298. KEFERSTEIN, H. 1890 Uber den Begriff der Zahl, Mitteilungen der Mathematische Gesellschaft zu Hamburg 2, 119-125.
299. KEMENY, J. 1950 Type Theory vs. Set Theory, JSL 15, 78.
300. KENNEDY, H. C. 1974 Giuseppe Peano, Basel, Birkhauser.
301. KIERNAN, M. 1971 The Development of Galois Theory from Lagrange to Artin, AHES 8, 40-154.
302. KLAUA, D. 1964 Allgemeine Mengenlehre, Berlin, Springer.
303. KLEENE, S. C. & J. B. ROSSER 1935 The Inconsistency of Certain Formal Logics, Annals of Mathematics 36, 630-36.
304. KLEIN, F. 1893 Vergleichende Betrachtungen uber neuere geometrische Forschungen (Universitatsprogramm, Erlangen, 1872), MA 43, 63-100. References to [Klein 1921/23], vol. 1, 460-97.
305. 1895 Uber Arithmetisierung der Mathematik, NG, Geschaftliche Mitteilungen. References to [Klein 1921/23], vol. 2, 232-40.
306. English trans, in Bulletin of AMS 2, 241-249, reprinted in [Ewald 1996], vol. 2.
307. 1897 Riemann und seine Bedeutung fur die Entwicklung der modernen Mathematik, DMV 4, 71-87.
308. 1921/23 Gesammelte mathematische Abhandlungen, 3 vol., Berlin, Springer. Reprinted in 1973.
309. 1926 Vorlesungen uber die Entwicklung der Mathematik im 19. Jahrhundert, 2 vols., Berlin, Springer, 1926, 1927. Reprint Berlin/New York, Springer, 1979.
310. KLINE, M. 1972 Mathematical Thought from Ancient to Modern Times, New York, Oxford University Press.
311. 1980 Mathematics: The loss of certainty, Oxford University Press.
312. KLUGEL, G. S. 1803/08 Mathematisches Worterbuch, 3 vol. (A-P), Leipzig, Schwickert.
313. KNEALE, W. & M. KNEALE 1962 The Development of Logic, Oxford, Clarendon.
314. KNOBLOCH, E. 1981 Symbolik und Formalismus im mathematischen Denken des 19. und beginnenden 20. Jahrhunderts, in [Dauben 1981], 139-165.
315. KOCH, H. 1982 Uber das Leben und Werk Johann Peter Gustav Lejeune Dirichlets: zu seinem 175 Geburtstag, Berlin, Akademie Verlag.
316. KONIG, G. ed. 1990 Konzepte des mathematisch Unendlichen im 19. Jahrhundert, Gottingen, Vandenhoeck & Ruprecht.
317. KONIG, J. 1905 Uber die Grundlagen der Mengenlehre und das Kontinuumproblem, MA 63, 217-21. References to English trans, in [van Heijenoort 1967], 145-49.
318. 1914 Neue Grundlagen der Logik, Arithmetik und Mengenlehre, ed. D. Konig, Leipzig, Veit.
319. KOPPELMAN, E. 1971 The Calculus of Operations and the Rise of Abstract Algebra, AHES 8, 155-242.
320. KOSSAK, E. 1872 Die Elemente der Arithmetik, Schulprogrammschrift des Friedrich-Werderschen Gymnasiums, Berlin.
321. KOWALEWSKI, G. 1950 Bestand und Wandel, Munchen, Oldenbourg
322. KREISEL, G. 1965 Mathematical Logic, in T. L. Saaty, ed., Lectures on Modern Mathematics, New York, Wiley, vol. 3, 95-195.
323. 1978 Hilbert's Programme, 2nd revised version, in [Benacerraf & Putnam 1983].
324. KRONECKER, L. 1882 Grundziige einer arithmetischen Theorie der algebraischen Grossen, JrM 92, 1-122. Reprint in [Kronecker 1895/1930], vol. 2, 237-387.
325. 1886 Uber einige Anwendungen der Modulsysteme auf elementare algebraische Fragen, JrM 99, 329-71. Reprint in [Kronecker 1895/1930], vol. 3, 145-208.
326. 1887 Ober den Zahlbegriff, in Philosophische Aufsatzefur E. Zeller, Leipzig, Fues. also in JrM 101, 337-55. References to [Kronecker 1895/1930], vol. 3/1, 249-274. English trans, in [Ewald 1996], vol. 2.
327. 1895/1930 Werke, 5 vols., Leipzig, Teubner. Reimpreso en New York, Chelsea, 1968.
328. KUHN, T. S. 1962 The Structure of Scientific Revolutions, Chicago Univ. Press (2nd edn. 1970).
329. KUMMER, E. 1860 Gedachtnisrede auf Gustav Peter Lejeune Dirichlet, in [Dirichlet 1889/97], vol. 2, 311-344.
330. 1975 Collected Papers, vol. 1. Berlin, Springer.
331. KURATOWSKI, K. 1921 Sur la notion de l'ordre dans la theorie des ensembles, FM 2, 161-71.
332. 1922 Une methode d'elimination des nombres transfinis des raisonnements mathematiques, FM 3, 76-18.
333. 1924 Sur l'etat actuel de l'axiomatique de la theorie des ensembles, Annates de la Societe Polonaise de Mathematiques 3, 146-47.
334. KUSHNER, D. S. 1993 Sir George Darwin and a British School of Geophysics, Osiris 8, 196-223.
335. LAKATOS, I. 1967 A Renaissance of Empiricism in the Recent Philosophy of Mathematics?, in Mathematics, Science and Epistemology. Philosophical Papers Vol. 2, eds. J. Worrall and G. Currie, Cambridge University Press, 1978, 24-42.
336. 1970 Falsification and the Methodology of Research Prgrammes, in The Methodology of Scientific Research Programmes. Philosophical Papers Vol. 1, Cambridge University Press, 1978.
337. LANDAU, E. 1917 Richard Dedekind - Gedachtnisrede, NG, 50-70.
338. LAUGWITZ, D. 1996 Bernhard Riemann 1826-1866. Wendepunkte in der Auffassung der Mathematik, Basel, Birkhauser.
339. LAVINE, S. 1994 Understanding the Infinite, Harvard university Press.
340. LEIBNIZ, G. W. 1704 Nouveaux essais sur l'entendement humain, in Die philosophischen Schriften, vol. 5, 39-509. Ed. C. J. Gerhardt, 7 vols., Berlin, Weidmann, 1875/90. Reprint Hildesheim, G. Olms, 1960/61.
341. 1714 Monadologie, in Die philosophischen Schriften, vol. 6, 607-623.
342. 1966 Logical Papers, Oxford, Clarendon Press.
343. 1976 Die mathematischen Studien zur Kombinatorik, Wiesbaden.
344. LEIBNIZ, G. W. & S. CLARKE 1717 Correspondence, in [Leibniz 1875/90, vol. 7].
345. LEWIS, A. C. 1977 H. Grassmann's 1844 Ausdehnungslehre and Schleiermacher's Dialektik, AS 34, 103-162.
346. LIPSCHITZ, R. 1864 De explicatione per series trigonometricas instituenda functionum unius variabilis arbitrariarum, et praecipue earum, quae per variabilis spatium finitum valorum maximorum et minimorum numerum habent infinitum, disquisitio, JrM 63, 296-308.
347. French translation in AM 36, 281-295.
348. 1877 Grundlagen der Analysis, Bonn, Cohen & Sohn.
349. 1986 Briefwechsel mit Cantor, Dedekind, Helmholtz, Kronecker, Weierstrass und anderen, Braunschweig/Wiesbaden, Vieweg.
350. LOREY, W. 1916 Das Studium der Mathematik an den Deutschen Universitdten seit Anfang des 19. Jahrhunderts, Leipzig/Berlin, Teubner.
351. LOTZE, H. 1856/64 Mikrokosmus, Ideen zur naturgeschichte und Geschichte der Menschheit, Versuch einer Antropologie, 3 vols., Leipzig, Hirzel. English translation in 2 vols., Edinburgh, Clark, 1885.
352. LUKASIEWICZ, J. 1957 Aristotle's Syllogistic, Oxford, Clarendon Press.
353. LUZIN, N. 1930 Lecons sur les ensembles analytiques et leurs applications, Paris, Gauthier-Villars.
354. MANHEIM, J. R. 1964 The Genesis of Point Set Topology, New York, Macmillan.
355. MANNING, K. R. 1975 The emergence of the Weierstrassian approach to complex analysis, AHES 14, 297-383
356. MANZANO, M. 1997 Alonzo Church: His life, his work, and some of his miracles, HPL 18, 211-32.
357. MATHEWS, J. 1978 William Rowan Hamilton's Paper of 1837 on the Arithmetization of Analysis, AHES 19, 177-200.
358. MAY, K. O. 1969 Review of F. A. Medvedev: The development of the theory of sets in the nineteenth century [1965], Mathematical Reviews 37, 4-5.
359. Mccarty, d.c. 1995 The Mysteries of Richard Dedekind, in J. Hintikka, ed., From Dedekind to Godel, Dordrecht, Kluwer.
360. McClelland, ch. 1980 State, Society, and University in Germany, 1700-1914, Cambridge Univ. Press.
361. MEDVEDEV, F. A. 1965 Razvitie teorii mnozhestv v XIX veke, Moscow, Nauka.
362. 1984 Uber die Abstrakten Mengenlehren von Cantor und Dedekind, Berichte zur Wissenschaftsgeschichte 7', 195-200.
363. MEHRTENS, H. 1979 Die Entstehung der Verbandstheorie, Hildesheim, Gerstenberg.
364. 1979a Das Skelett der modernen Algebra. Zur Bildung mathematischer Begriffe bei Richard Dedekind, in Disciplinae Novae, Gottingen, Vandenhoeck & Ruprecht, 25-43.
365. 1982 Richard Dedekind der Mensch und die Zahlen, Abhandlungen der Braunschweigischen Wissenschaftlichen Gesellschaft 33, 19-33.
366. 1990 Moderne - Sprache - Mathematik. Eine Geschichte des Streits urn die Grundlagen der Disziplin und des Subjekts formaler Systeme, Frankfurt, Suhrkamp.
367. MESCHKOWSKI, H. 1965 Aus den Briefbuchern Georg Cantors, AHES 2, 503-519.
368. 1967 Probleme des Unendlichen. Werk und Leben Georg Cantors, Braunschweig, Vieweg. Reprinted with additions as Georg Cantor. Leben, Werk und Wirkung, Mannheim, Bibliographisches Institut, 1983.
369. MESCHKOWSKI, H. & W. NILSON 1991 Georg Cantor: Briefe, Berlin, Springer.
370. MIRIMANOFF, D. 1917 Les antinomies de Russell et de Burali-Forti et le probleme fondamental de la theorie des ensembles, L'Enseignement Mathematique 19, 37-52.
371. 1917a Remarques sur la theorie des ensembles et les antinomies cantoriennes, I, L'Enseignement Mathematique 19, 209-17.
372. 1919 Remarques sur la theorie des ensembles et les antinomies cantoriennes, II, L'Enseignement Mathematique 21, 29-52.
373. MITTAG-LEFFLER, G. 1884 Sur la representation analytique des fonctions d'une variable independante, AM 4, 1-79.
374. 1923 Weierstrass et Sonja Kowalewsky, AM 39, 133-198.
375. 1927 Zusatzliche Bemerkungen to [Schoenflies 1927], AM 50, 25-26.
376. MONNA, A. F. 1975 Dirichlet's Principle, a mathematical comedy of errors and its influence on the development of analysis, Utrecht.
377. MOORE, G. H. 1978 The Origins of Zermelo's Axiomatization of Set Theory, Journal of Philosophical Logic 7, 307-329.
378. 1980 Beyond First-order Logic: The Historical Interplay between Mathematical Logic and Axiomatic Set Theory, HPL 1, 95-137.
379. 1982 Zermelo's Axiom of Choice. Its Origins, Development and Influence, Berlin, Springer.
380. 1987 A House Divided Against Itself: The emergence of first-order logic as the basis for mathematics, in [Phillips 1987], 98-136.
381. 1988 The emergence of First-Order Logic, in W. Aspray & Ph. Kitcher, eds., History and Philosophy of Modern Mathematics, Minneapolis, University Press, 95-135
382. 1988a The Origins of Forcing, in F. R. Drake and J. K. Truss, eds., Logic Colloquium'86, Amsterdam, North-Holland, 143-73.
383. 1989 Towards a History of Cantor's Continuum Problem, in [Rowe & McCleary 1989], 79-121.
384. 1993 Introduction to vol. 3 of The Collected Papers of Bertrand Russell, ed. G. H. Moore (general ed. J. Passmore), London, Routledge.
385. 1995 The Prehistory of Infinitary Logic: 1885-1955, preprint, to appear in Proceedings of LMPS 95.
386. 1997 Hilbert and the Emergence of Modern Mathematical Logic, Theoria 12, 65-90.
387. forthcoming. Logic, Early Twentieth Century, to appear in E. Craig, ed., Routledge Encyclopedia of Philosophy, London, Routledge.
388. forthcoming. Paradoxes of Set and Property, to appear in E. Craig, ed., Routledge Encyclopedia of Philosophy, London, Routledge.
389. MOORE, G. H. & A. GARCIADIEGO 1981 Burali-Forti's Paradox: A reappraisal of its origins, HM 8, 319-50.
390. MOSTOWSKI, A. 1965 Thirty Years of Foundational Studies... 1930-1964, Acta Philosophica Fennica 17, 1-180.
391. References to Foundational Studies. Selected works, vol. 1, Amsterdam, North-Holland, 1979.
392. NAGEL, E. 1935 «Impossible Numbers»: A Chapter in the History of Modern Logic, in Teleology Revisited and Other Essays, Columbia University Press, 1979, 166-194.
393. 1939 The Formation of Modern Conceptions of Formal Logic in the Development of Geometry, in Teleology Revisited, Columbia University Press, 1979, 195-259.
394. NAGELL, T. 1963 Thoralf Skolem in Memoriam, AM 110, i-xi.
395. NAUMANN, B. 1986 Grammatik der deutschen Sprache zwischen 1781 und 1856, Berlin, E. Schmidt.
396. NETTO, E. 1878 Beitrag zur Mannigfaltigkeitslehre, JrM 86, 263-268.
397. 1908 Kombinatorik, in M. Cantor, ed., Vorlesungen uber Geschichte der Mathematik, vol. 4, Leipzig, Teubner.
398. NEUENSCHWANDER, E. 1981 Lettres de Bernhard Riemann a sa famille, Cahiers du Seminaire d'Histoire des Mathematiques 2, 85-131.
399. 1981a Uber die Wechselwirkung zwischen der franzosischen Schule, Riemann und Weierstrass. Eine Ubersicht mit zwei Quellenstudien, AHES 24, 221-255.
400. 1988 A brief report on a number of recently discovered sets of notes on Riemann's lectures and on the transmission of the Riemann's « Nachlass», HM 15, 101-113.
401. VON NEUMANN, J. 1923 Zur Einfiihrung der transfmiten Zahlen, ALS 1, 199-208. References to English trans, in [van Heijenoort 1967], 347-54.
402. 1925 Eine Axiomatisierung der Mengenlehre, JrM 1S 4, 219-40. Reprint in [von Neumann 1961]. References to English trans, in [van Heijenoort 1967], 394-413.
403. 1927 Zur Hilbertschen Beweistheorie, Mathematische Zeitschrift 26, 1-46. References to [von Neumann 1961], 256-300.
404. 1928 Uber die Definition durch transfinite Induktion und verwandte Fragen der allgemeinen Mengenlehre, MA 99, 373-91. References to [von Neumann 1961], 320-38.
405. 1928a Die Axiomatisierung der Mengenlehre, MZ 27, 669-752. References to [von Neumann 1961], 339-422.
406. 1929 Uber eine Widerspruchfreiheitsfrage in der axiomatischen Mengenlehre, JrM 160, 227-41. References to [von Neumann 1961], 494-508.
407. 1947 The Mathematician, in R. B. Heywood, ed., The Works of the Mind, University of Chicago Press. References to [von Neumann 1961].
408. 1961 Collected Works, Vol. I: Logic, theory of sets, and quantum mechanics, ed. A. H. Taub, Oxford, Pergamon.
409. NEUMANN, O. 1980 Zur Genesis der algebraischen Zahlentheorie, NTM 17, (1) 32-48, (2) 38-58.
410. 1981 Uber die Anstosse zu Kummers Schopfung der «Idealen Complexen Zahlen», in [Dauben 1981], 179-199.
411. NEUMANN, O. & W. PURKERT 1981 Richard Dedekind - zum 150. Geburtstag, Mitteilungen der Mathematische Gesellschaft der DDR 2, 84-110.
412. NIDDITCH, P. H. 1987 The Development of Mathematical Logic, Londres, Routledge & Kegan.
413. NOW, L. 1973 Origins of modern algebra, Leyden, Noordhoff.
414. NOWAK, G. 1989 Riemann's Habilitationsvortrag and the Synthetic A Priori Status of Geometry, in [Rowe & McCleary 1989], 17-46.
415. OHM, M. 1853 Versuch eines vollkommen consequenten Systems der Mathematik. Lehrbuch der Arithmetik, Algebra und Analysis. Vol. 1, Berlin, T. H. Riemann.
416. 1855 Versuch eines vollkommen consequenten Systems der Mathematik, Vol. 2, Berlin, T. H. Riemann.
417. OTTE, M. 1989 The Ideas of Hermann Grassmann in the Context of the Mathematical and Philosophical Tradition since Leibniz, HM 16, 1-35.
418. PARSONS, C. 1977 What is the Iterative Concept of Set?, in R. Butts & J. Hintikka, eds., Logic, Foundations of Mathematics and computability theory, Dordrecht, Reidel, 335-67. Reprint in [Benacerraf & Putnam 1983].
419. 1987 Developing Arithmetic in Set Theory without Infinity: Some Historical Remarks, HPL 8, 201-213.
420. 1990 The Structuralist View of Mathematical Objects, Synthese 84, 303-346.
421. PAULSEN, F. 1896/97 Geschichte des gelehrten Unterrichts auf den deutschen Schulen und Universitaten, 3 vols., Leipzig, Teubner.
422. PEANO, G. 1889 Arithmetices principia, nova methodo exposita, Torino, Bocca. Partial English trans, in [van Heijenoort 1967], 83-97.
423. 1891 Sul concetto di numero, Rivista di matematica 1, 87-102, 256-67.
424. 1906 Additione, Rivista di matematica 8, 143-57.
425. 1908 Formulaire de mathematiques, 5th edn. Torino, Bocca. Reprint Roma, Cremonese.
426. 1957/59 Opere Scelte, 3 vols., Roma, Cremonese.
427. PECKHAUS, V. 1990 «Ich habe mich wohl gehiitet, alle Patronen auf einmal zu verschiessen». Ernst Zermelo in Gottingen, HPL 11, 19-58.
428. 1991 Hilbertprogramm und kritische Philosophic, Gottingen, Vandenhoeck & Ruprecht.
429. 1993 Ernst Schroder und der Logizismus, in W. Stelzner, ed., Philosophic und Logik, Berlin, de Gruyter, 108-19.
430. 1994 Wozu Algebra der Logik? Ersnt Schroders Suche nach einer universalen Theorie der Verknupfungen, Modern Logic 4, 356-81.
431. PEIRCE, C. S. 1931/60 Collected Papers, 7 vols., Harvard University Press.
432. PHILLIPS, E. R. 1987 Studies in the History of Mathematics, Mathematical Association of America.
433. PIEPER, H., ed. 1897 Briefwechsel zwischen A. von Humboldt und C. G. J. Jacobi, Berlin, Akademie Verlag.
434. PINCHERLE, S. 1880 Saggio di una introduzione alla teoria delle funzioni analitiche secondo i principii del prof. C. Weierstrass, Giornale di Mathematiche 18, 178-254, 314-357.
435. PLUCKER, J. 1828 Analytisch-geometrische Entwicklungen, vol. 1, in Gesammelte wissenschaftliche Abhandlungen, Leipzig, Teubner, vol. 1, 1895.
436. POINCARE, H. 1894 Sur la nature du raisonnement mathematique, Revue de metaphysique et de morale 2. Reprinted with modifications, in La science et l'hypothese, Paris, Flammarion, 1902. References to the English translation in [Benacerraf & Putnam 1983], 394-402.
437. 1905/06 Les mathematiques et la logique, Revue de metaphysique et de morale 13, 14. Short version in Science et methode, Paris, Flammarion, 1908. Translation of original version in [Ewald 1996], vol. 2.
438. PONT, J. C. 1974 La topologie algebrique des origines a Poincare, Paris, P. U. F..
439. PRINGSHEIM, A. 1898 Irrationalzahlen und Konvergenz unendlicher Prozesse, in W. F. Meyer, ed., Enzyklopddie der mathematischen Wissenschaften, Leipzig, Teubner, vol. 1, 47-146.
440. PURKERT, W. 1973 Zur Genesis des abstrakten Korperbegriffs, NTM 10, (1) 23-37, (2) 8-20.
441. 1977 Ein Manuskript Dedekinds uber Galois-Theorie, NTM 13, (2) 1-16.
442. 1989 Cantor's Views on the Foundations of Mathematics, in [Rowe & McCleary 1989], 49-65.
443. PURKERT, W. & H. J. ILGAUDS 1987 Georg Cantor 1845-1918, Basel/Boston/Stuttgart, Birkhauser.
444. PUTNAM, H. 1967 The Thesis that Mathematics Is Logic, in B. Russell, Philosopher of the Century, ed. R. Schoenman, London, Allen & Unwin. Reprinted in Mathematics, Matter, and Method, Cambridge University Press, 1975.
445. PYCIOR, H. 1983 De Morgan's Algebraic Work: The Three Stages, Isis 74, 211-26.
446. 1987 British Abstract Algebra: Development and Early Reception, in Grattan-Guinness, ed., History in Mathematics Education, Paris, 1987, 152-168.
447. PYENSON, L. 1983 Neohumanism and the Persistence of Pure Mathematics in Wilhelmian Germany, Philadelphia, American Philosophical Society.
448. QUINE, W. V. 1934 A System of Logistic, Cambridge, Mass., Harvard University Press.
449. 1936 Set-theoretic foundations for logic, JSL 1, 45-57.
450. 1937 New Foundations for Mathematical Logic, AMM 44. Revised version in [Quine 1953].
451. 1940 Mathematical Logic, New York, Norton. 2nd revised edn. 1951, based on a modification proposed in [Wang 1950]. Reprint New York, Harper & Row, 1962.
452. 1941 Whitehead and the Rise of Modern Logic, in P. A. Schilpp, The Philosophy of A. N. Whitehead, La Salle, 111., Open Court, 127-63.
453. 1953 From a Logical Point of View, Cambridge, Mass., Harvard University Press.
454. 1963 Set Theory and its Logic, Harvard University Press. 2nd. edn. 1969.
455. 1986 Autobiographical Notes, in L. E. Hahn & P. A. Schilpp, eds., The Philosophy of W. V. Quine, La Salle, 111., Open Court, p. 1-46.
456. RAMSEY, F. P. 1926 The Foundations of Mathematics, LMS 25. References to Foundations. Essays in philosophy, logic, mathematics, and economics, London, Routledge & Kegan Paul, 1978.
457. RANG, B. & W. THOMAS 1981 Zermelo's Discovery of the 'Russell Paradox', HM 8, 15-22.
458. REID, C. 1970 Hilbert. Berlin, Springer.
459. RICHARD, J. 1905 Lettre a Monsieur le redacteur de la Revue genorale des Sciences, AM 30, 295-96. References to English trans, in [van Heijenoort 1967], 143-44.
460. RIEMANN, B. Cod. Ms. Riemann. Scientific legacy or Nachlass kept at the Niedersachsische Staats-und Universitatsbibliothek (Handschriftenabteilung), Gottingen.
461. 1851 Grundlagen fur eine allgemeine Theorie der Functionen einer veranderlichen complexen Grosse (Inauguraldissertation). References to [Riemann 1892], 3-45.
462. 1854 Uber die Hypothesen, welche der Geometrie zu Grunde liegen (Habilitationsvotrag), Abhandlungen der Koniglichen Gesellschaft der Wissenschaften zu Gottingen 13 (1868). References to [Riemann 1892], 272-287. English translation in [Clifford 1882], reprinted in [Ewald 1996], vol. 2.
463. 1854a Uber die Darstellbarkeit einer Function durch eine trigonometrische Reihe (Habilitationsschrift), Abhandlungen der Koniglichen Gesellschaft der Wissenschaften zu Gottingen 13 (1868). References to [Riemann 1892], 227-265.
464. 1857 Theorie der Abel'schen Functionen, JrM 54, 115-55. References to [Riemann 1892], 88-142.
465. 1876 Fragmente philosophischen Inhalts, in [Riemann 1892], 509-538.
466. 1892 Gesammelte mathematische Werke und wissenschaftlicher Nachlass, Leipzig, Teubner. Ed. H. Weber in collaboration with R. Dedekind (first edn. 1876, with different pagination). Reprinted with Nachtrdge, ed. M. Noether and W. Wirtinger (1902), in New York, Dover, 1953. All references to this reprint. There is a new edition with up-to-date bibliography in Berlin, Springer/Teubner, 1990.
467. RINGER, F. K. 1969 The Decline of the German Mandarins. The German academic community, 1890-1933, Harvard University Press.
468. ROBINSON, R. M. 1937 The Theory of Classes. A modification of von Neumann's system, JSL 2, 29-36.
469. RODRIGUEZ CONSUEGRA, F. 1987 Rusell's Logicist Definitions of Numbers, 1898-1913: Chronology and Significance, HPL 8, 141-169.
470. 1991 The Mathematical Philosophy of Bertrand Russell: Origins and Development, Basel, Birkhauser.
471. ROSSER, J. B. 1939 On the Consistency of Quine's "New Foundations for Mathematical Logic", JSL 4, 15-24.
472. 1942 The Burali-Forti Paradox, JSL 7, 1-17.
473. 1953 Logic for Mathematicians, New York, McGraw.
474. ROSSER, J. B. & H. WANG. 1950 Non-standard Models for Formal Logics, JSL 15, 113-129. (Errata p. iv.)
475. ROWE, D. 1989 Klein, Hilbert, and the Gottingen Mathematical Tradition, Osiris 5, 186-213.
476. 1995 David Hilbert (1862-1943), in D. Rauschning & D. v. Neree, eds., Die Albertus-Universitdt zu Konigsberg und ihre Professoren, Berlin, Duncker & Humblot, 543-52.
477. 1998 Mathematics in Berlin, 1810-1933, in: H. G. W. Begehr et al. eds., Mathematics in Berlin, Basel, Birkhauser, p. 9-26.
478. 2002 Mathematical Schools, Communities, and Networks, in Mary Jo Nye, ed., The Cambridge History of Science, vol. 5, Modern Physical and Mathematical Sciences, Cambridge University Press, to appear in 2002.
479. ROWE, D. & J. McCLEARY, eds. 1989 The History of Modern Mathematics. Vol. I: Ideas and their reception, Boston/London, Academic Press.
480. RUSSELL, B. 1903 The principles of mathematics, Cambridge, University Press. 2nd edn. 1937. Reprint London, Allen & Unwin, 1948.
481. 1906 On Some Difficulties in the Theory of Transfinite Numbers and Order Types, LMS 4, 29-53. Reprint in Essays in Analysis, ed. D. Lackey, London, Allen & Unwin.
482. 1906a Les paradoxes de la logique, Revue de metaphysique et de morale 14, 627-50. English trans, in Essays in Analysis, ed. D. Lackey, London, Allen & Unwin.
483. 1908 Mathematical Logic as Based on the Theory of Types, American Journal of Mathematics 30, 222-262. References to reprint in [van Heijenoort 1967], 150-182.
484. 1919 Introduction to mathematical philosophy, London, Allen & Unwin.
485. SARKAR, S. 1992 "The Boundless Ocean of Unlimited Possibilities": Logic in Carnap's Logical Syntax of Language, Synthese 93, 191-237.
486. SCHARLAU, W. 1981 ed. Richard Dedekind 1831/1981. Eine Wurdigung zu seinem 150. Geburtstag, Braunschweig/Wiesbaden, Vieweg.
487. 1981a Erlauterungen zu Dedekinds Manuskript iiber Algebra, in [Scharlau 1981], 101-108.
488. 1982 Unveroffentliche algebraische Arbeiten Richard Dedekinds aus seiner Gottinger Zeit 1855-1858, AHES 27, 335-367.
489. SCHOENFLIES, A. M. 1900/08 Die Entwicklung der Lehre von den Punktmannigfaltigkeiten, DMV 8, 1-251
490. Ergdnzungsband 2, 1-331.
491. 1922 Zur Erinnerung an Georg Cantor, DMV 31, 97-106.
492. 1927 Die Krisis in Cantor's mathematischem Schaffen, AM 50, 1-23.
493. SCHOLZ, E. 1980 Geschichte des Mannigfaltigkeitsbegriffs vom Riemann bis Poincare, Stuttgart, Birkhauser.
494. 1982 Riemanns friihe Notizen zum Mannigfaltigkeitsbegriff und zu den Grundlagen der Geometrie, AHES 27, 213-232.
495. 1982a Herbart's influence on Bernhard Riemann, HM 9, 413-440.
496. 1990 ed. Geschichte der Algebra. Eine Einfiihrung, Mannheim/Wien/Zurich, BI-Wissenschaftsverlag.
497. 1990a Riemann's Vision of a New Geometry, draft for International Coloquium 1830-1930: Un siecle de geometric de C. F. Gauss et B. Riemann a H Poincare et E. Cartan. Epistemologie, histoire et mathematiques, Paris, 1989.
498. SCHRODER, E. 1873 Lehrbuch der Arithmetik und Algebra fur Lehrer und Studirende. Erster Band: Die sieben algebraischen Operationen, Leipzig, Teubner.
499. 1877 der Operationskreis des Logikkalkills, Leipzig, Teubner. Reimpreso en Stuttgart, Teubner, 1966.
500. 1890/95 Vorlesungen uber die Algebra der Logik, 3 vols., Leipzig, Teubner. Fourth vol. posthumously edited in 1905. Reprint New York, Chelsea, 1966.
501. 1898 Uber Pasigraphie, ihren gegenwartigen Stand und die pasigraphische Bewegung in Italien, in F. Rudio, ed., Verhandlungen des ersten Internationalen Mathematiker-Kongresses, Leipzig, Teubner, 147-62.
502. English trans, in The Monist 9 (1899).
503. 1898a Uber zwei Defmitionen der Endlichkeit und G. Cantorsche Satze, Nova Acta Leopoldina 71, 303-62.
504. SCHUBRING, G. 1982 Ansatze zur Begriindung theoretischer Terme in der Mathematik - Die Theorie des Unendlichen bei Johann Schultz, HM 9, 441-84.
505. 1983 Die Entstehung des Mathematiklehrerberufsim 19. Jahrhundert, Weinheim/Basel, Beltz.
506. 1984 Die Promotion von P. G. Lejeune Dirichlet, NTM 21, 45-65.
507. SERVOS, J. W. 1993 Research Schools and Their Histories, Osiris 8, 3-15.
508. SHAPIRO, S. 1991 Foundations without Foundationalism: A case for second-order logic, Oxford, Clarendon Press.
509. SHEPHERDSON, J. C. 1951/53 Inner Models for Set Theory, JSL 16, 161-90, 17, 225-37, 18, 145-67.
510. SHOENFIELD, J. R. 1967 Mathematical Logic, Reading, Mass., Addison-Wesley.
511. SIERPINSKI, W. 1928 Lecons sur les nombres transflnis, Pairs, Gauthier-Villars.
512. 1975 Oeuvres choisies, tome II: Theorie des ensembles et ses applications (1908-1929), Warszawa, PWN - Editions scientifiques de Pologne.
513. SIMONS, P. M. 1987 Frege's Theory of Real Numbers, HPL 8, 25-14.
514. SINACEUR, M. A. 1971 Appartenance et inclusion: Un inedit de Richard Dedekind, RHS 24, 247-254.
515. 1974 L'infini et les nombres. Commentaires de R. Dedekind a «Zahlen». La correspondance avec Keferstein, RHS 27, 251-278.
516. 1979 La methode mathematique de Dedekind, RHS 32, 107-142.
517. 1990 Dedekind et le programme de Riemann, RHS 11, 221-296.
518. SKOLEM, T. 1920 Logisch-kombinatorische Untersuchungen uber die Erfullbarkeit oder Beweisbarkeit mathematischer Satze nebst einem Theoreme uber dichte Mengen, Videnskaps-selskapets Skrifter, 1-36. References to partial English trans, in [van Heijenoort 1967], 252-63.
519. 1922 Einige Bemerkungen zur axiomatischen Begriindung der Mengenlehre, in D em femte skandinaviska mathematikerkongressen, Helsinki, Akademiska Bokhandeln. Also in [Skolem 1970]. References to English translation in [van Heijenoort 1967], 290-301.
520. 1928 Uber die mathematische Logik, Norsk mat. tids. 10, 125-42. References to English translation in [van Heijenoort 1967], 512-24.
521. 1929 Uber einige Grundlagenfragen der Mathematik, Videnskaps-selskapets Skrifter, 1-49. References to [Skolem 1970].
522. 1930 Einige Bemerkungen zu der Abhanlung von E. Zermelo [1929], FM 15, 337-41.
523. 1970 Selected Works in Logic, ed. J. E. Fenstad, Oslo, Universitetsforlaget.
524. SMITH, H. J. S. 1875 On the Integration of Discontinuous Functions, LMS 6, 140-153.
525. SPALT, D. 1990. Die Unendlichkeiten bei Bernard Bolzano, in [Konig 1990], 189-218.
526. SPECKER, E. 1953 The Axiom of Choice in Quine's "New Foundations", NAS 39, 972-975.
527. STEIN, H. 1981 Logos, Logic, and Logistike: Some Philosophical Remarks on Nineteenth-Century Transformation of Mathematics, in [Dauben 1981], 238-259.
528. STEINER, J. 1832 Systematische Entwickelung der Abhangigkeit geometrischer Gestalten von einander, Berlin, Fincke.
529. STEINITZ, E. 1910 Algebraische Theorie der Korper, JrM 137, 167-309.
530. STOLZ, O. 1884 Uber einen zu einer unendlichen Punktmenge gehorigen Grenzwerth, MA 23, 152-156.
531. STYAZHKIN, N. I. 1969 History of mathematical logic from Leibniz to Peano, Cambridge/London, MIT Press.
532. TARSKI, A. 1924 Sur les ensembles finis, FM 6, 45-95. Reprint in [Tarski 1986], vol. 1.
533. 1933 Poj cie prawdy w j zykach nauk dedukcyjnych, Prace Towarzystwa Naukowego Warszawskiego 34 (written 1931).
534. German translation, with postscript, as 'Der Wahrheitsbegriff in den formalisierten Sprachen', Studia philosophica 1(1935), 261-405. Reprint in [Tarski 1986], vol. 2. References to English translation in [Tarski 1956], 152-278.
535. 1938 uber unerreichbare Kardinalzahlen, FM 30, 68-89. Reprint in [Tarski 1986], vol. 3.
536. 1941 Introduction to Logic and the Methodology of Deductive Sciences, Harvard University Press.
537. 1956 Logic, Semantics, Metamathematics: Papers from 1923 to 1948, Oxford, Clarendon. Reprint in Hackett, 1983, ed. J. Corcoran.
538. 1986 Collected Papers, ed. S. R. Givant & R. N. McKenzie, Basel, Birkhauser, 4 vols.
539. TORRETTI, R. 1984 Philosophy of Geometry from Riemann to Poincare, Dordrecht, Reidel
540. TROELSTRA, A. S. & D. VAN DALEN 1988 Constructivism in Mathematics: An introduction, Amsterdam, North-Holland.
541. UEBERWEG, F. 1882 System der Logik und Geschichte der logischen Lehren, 5th edn., Bonn, A. Marcus.
542. ULLIAN, J. S. 1986 Quine and the Field of Mathematical Logic, in L. E. Hahn & P. A. Schilpp, eds., The Philosophy of W. V. Quine, La Salle, III., Open Court, 569-593.
543. ULLRICH, P. 1989 Weierstrass' Vorlesung zur «Einleitung in die Theorie der analytischen Funktionen», AHES 40, 143-172.
544. VAUGHT, R. 1974 Model Theory before 1945, in Proceedings of the Tarski Symposium on Pure Mathematics, Providence, AMS, 153-72.
545. VOSS, A. 1914 Heinrich Weber, DMV 23, 431-444.
546. VAN der WAERDEN, B. L. 1930 Moderne Algebra, Berlin, Springer.
547. WALTHER-KLAUS, E. 1987 Inhalt und Umfang. Untersuchungen zur Geltung und zur Geschichte der Reziprozitat von Extension und Intension, Hildesheim, Olms.
548. WANG, H. 1950 A Formal System of Logic, JSL 15, 25-32.
549. 1957 The axiomatisation of arithmetic, JSL 22, 145-158.
550. Reprint in A survey of mathematical logic, Amsterdam, North Holland, 1964, 68-81.
551. 1974 The concept of set, in From Mathematics to Philosophy, London, Routledge. References to reprint in [Benacerraf & Putnam 1983], 530-570.
552. 1986 Quine's Logical Ideas in Historical Perspective, in L. E. Hahn & P. A. Schilpp, eds., The Philosophy of W. V. Quine, La Salle, III., Open Court, 623-648.
553. WATERHOUSE, W. C. 1979 Gauss on Infinity, HM 6, 430-436.
554. WEBER, H. 1893 Die allgemeinen Grundlagen der Galoisschen Gleichungstheorie, MA 43, 521-49.
555. 1893a Leopold Kronecker, MA 43, 430-36.
556. 1895/96 Lehrbuch der Algebra, 2 vols., Braunschweig, Vieweg. References to the reprint New York, Chelsea, 1961.
557. 1906 Elementare Mengenlehre, DMV 15, 173-184.
558. WEIERSTRASS, K. unp. Einleitung in die Theorieen [sic] der analytischen Functionen (Mitschrift Hettner 1874),.
559. 1894/1927 Mathematische Werke, 7 vols., Berlin, Mayer & Miiller.
560. 1986 Einfuhrung in die Theorie der analytischen Funktionen (Mitschrift Killing, 1868), Schriftenreihe des Math. Instituts der Univ. Miinster, 2nd series, 38.
561. 1988 Einleitung in die Theorie der analytischen Funktionen (Mitschrift Hurwitz, 1878), Brauschweig, Vieweg.
562. WEIL, A. 1979 Riemann, Betti and the birth of topology, AHES 20, 91-96.
563. WEYL, H. 1910 Uber die Definitionen der mathematischen Grundbegriffe, Mathematischnaturwissenschaftliche Blatter 7. References to [Weyl 1968], vol. 1, 298-304.
564. 1913 Die Idee der Riemannschen Flache, Leipzig: Teubner.
565. 1918 Das Kontinuum: Kritische Untersuchungen uber die Grundlagen der Analysis, Leipzig, Veit. References to the reprint New York, Chelsea.
566. 1921 Uber die neue Grundlagenkrise der Mathematik, Mathematische Zeitschrift 10, 39-79. References to [Weyl 1968], vol. 2, 143-180.
567. 1927 Comments on Hilbert's Second Lecture on the Foundations of Mathematics, in [van Heijenoort 1967, 482-84].
568. 1944 David Hilbert and his Mathematical Work, Bulletin of the AMS 50, 612-54. References to [Weyl 1968], vol. 4, 130-72. Also in [Reid 1970].
569. 1946 Mathematics and Logic. A brief survey serving as a preface to a review of "The Philosophy of Bertrand Russell", AMM 53, 2-13. References to [Weyl 1968], vol. 4, 268-279.
570. 1946a Review: The Philosophy of Bertrand Russell, AMM 53. References to [Weyl 1968], vol. 4, 599-605.
571. 1954 Erkenntnis und Besinnung, in [Weyl 1968], vol. 4, 631-49.
572. 1968 Gesammelte Abhandlungen, ed. K. Chandrasekharan, 4 vols., Berlin, Springer.
573. 1910/13 Principia Mathematica, Cambridge University Press. 2nd edn. 1925/27. References to the 1978 reprint.
574. WIENER, N. 1914 A Simplification of the Logic of Relations, Proceedings of the Cambridge Philosophical Society 17, 387-90. Reprint in [van Heijenoort 1967].
575. WITTGENSTEIN, L. 1921 Tractatus Logico-Philosophicus, London, Routledge & Kegan Paul, 1961.
576. First edn. in Annalen der Naturphilosophie 14, 185-262.
577. WUSSING, H. 1969 The Genesis of the Abstract Group Concept, Cambridge/London, MIT Press, 1984.
578. YOUNG, W. H. & M. YOUNG 1906 The Theory of Sets of Points, Cambridge, University Press.
579. YOUSCHKEVITCH, A. P. 1976 The Concept of Function up to the Middle of the 19th Century, AHES 16, 37-85.
580. ZERMELO, E. 1904 Beweis, dass jede Menge wohlgeordnet werden kann (Aus einem an Herrn Hilbert gerichteten Briefe), MA 59, 514-516. References to English translation in [van Heijenoort 1967], 139-141.
581. 1908 Untersuchungen iiber die Grundlagen der Mengenlehre, I, MA 65, 261-281. References to English translation in [van Heijenoort 1967], 199-215.
582. 1908a Neuer Beweis fur die Moglichkeit einer Wohlordnung, MA 65, 107-128. References to English translation in [van Heijenoort 1967], 183-198.
583. 1909 Sur les ensembles finis et le principe de l'induction complete, AM 32, 185-193.
584. 1929 Uber den Begriff der Definitheit in der Axiomatik, FM 14, 339-44.
585. 1930 Uber Grenzzahlen und Mengenbereiche. Neue Untersuchungen iiber die Grundlagen der Mengenlehre, FM 16, 29-47. English trans, in [Ewald 1996], vol. 2.
586. 1932 Uber Stufen der Quantifikation und die Logik des Unendlichen, DMV 41, 85-88.
587. FERRE1R0S, J. 2001 The road to modern logic - an interpretation, Bull. Symbolic Logic 7(2001), 441-484
588. 2004 The motives behind Cantor's set theory: Physical, biological, and philosophical questions, Science in Context 17(2004), 49-83.
589. GIACQUINTO, M. 2002 The search for certainty: A philosophical account of foundations of mathematics. Oxford University Press.
590. GODEL, K. 1933 The present situation in the foundations of mathematics, in Godel (1986/90), vol. III, pp. 45-53.
591. GRATTAN-GU1NNESS, I. 2000 The search for mathematical roots, 1870-1940. Princeton University Press.
592. HILBERT, D. 1905 Logische Principien des mathematischen Denkens (Vorlesungen, SS 1905, ausgearbeitet von E. Hellinger), Mathematisches Institut Gottingen. It will soon appear in vol. 2 of Hilbert's Lectures on the Foundations of Mathematics (Berlin, Springer).
593. 2004 David Hilbert's Lectures on the Foundations of Mathematics, Vol. 1: Lectures on the Foundations of Geometry, 1891-1902 (Berlin, Springer).
594. JANE, I. 2005 The iterative conception of sets from a Cantorian perspective, in P. Hajek el al. (eds), Proceedings of the 12th International Congress on Logic, Methodology and Philosophy of Science, KCL Publications.
595. SIEG, W. 1990 Relative consistency and admissible domains, Synthese 84(1990), 259-297
596. reprinted in J. Ferreiros & J. J. Gray, The architecture of modern mathematics (Oxford University Press, 2006).
597. 1999 Hilbert's Programs: 1917-22, Bulletin of Symbolic Logic 5(1999), 1-44.
598. 2002 Beyond Hilbert's reach?, in D. B. Malament, Reading natural philosophy (Chicago. Open Court).
599. SIEG, W. & D. SCHL1MM 2005 Dedekind's analysis of number: Systems and axioms, Synthese 147(2005), no. 1, 121-170.
600. TAIT, W. 2000 Cantor's Grundlagen and the paradoxes of set theory, in G. Sher and R. Tieszen (eds.), Between logic and intuition: Essays in Honor of Charles Parsons, Cambridge University Press, pp. 269-290.
601. 2005 The provenance of pure reason: Essays in the philosophy of mathematics and its history-. Oxford: Oxford University Press.