La logique des mathématiques

 Access to full text

 Full (PDF)

1. 1. COUTURAT ( Louis). _ a. La logique de Leibniz, d'après des documents inédits (Paris, 1901, chez Alcan). Zbl33.0082.03JFM33.0082.03
2. COUTURAT ( Louis). b. Opuscules et fragments inédits de Leibniz (Paris, 1903, chez Alcan). JFM34.0042.06
3. 2. BOOLE. _ a. The mathematical analysis of logic (1847). Zbl0041.34803
4. BOOLEb. The calculus of logic (1848). 
5. BOOLE c. An investigation in the laws of thought (1854). Zbl1035.03003
6. 3. MILL ( John Stuart). _ Système de logique (en deux volumes), traduction française (Paris, 1880, chez Germer, Baillière et Cie ) . 
7. 4. Rivista di Matematica (Revue de Mathématiques), publiée par G. PEANO (8 volumes parus dans la période de 1891 à 1906 à Turin, chez les frères Bocca). 
8. 5. WHITEHEAD ( A. N.) et RUSSELL ( B.). _ Principia Mathematica [Cambridge, liniversity Press; vol. I (1), 1910; vol. II, 1912 et vol. III, 1913]. JFM61.0061.03
9. 6. FREGE ( Dr G.). _ Grundgesetze der Arithmetik (Iéna, vol. I, 1893 et vol. II, 1903). JFM25.0101.02
10. 7. PRANTIL ( Dr Carl). _ Geschichte der Logik (en 4 volumes; Leipzig, 1855, 1861, 1867 et 1870, chez Hirzels). 
11. 8. POINCARÉ ( H.). _ Science et méthode (Paris, 1909, chez Ernest Flammarion). JFM39.0095.03
12. 9. POINCARÉ ( H.). _ Les mathématiques et la logique (Revue de Métaphysique et de Morale, mai 1906). Zbl37.0060.01JFM36.0081.05
13. 10. BOREL ( Emile). _ Leçons sur la théorie des fonctions (Paris, 1898, chez Gauthier-Villars). Zbl0035.33701
14. 11. HILBERT ( D.). _ Grundlagen der Géométrie (Leipzig, 1913, chez Teubner). , JFM44.0543.02
15. 12. COUTURAT ( Louis). _ Les principes des mathématiques (Paris, 1905, chez Félix Alcan). Zbl0421.03001JFM36.0081.01
16. 13. POINCARÉ ( H.). _ L'algèbre de la logique (Paris, 1905, chez Gauthier-Villars, collection Scientia). 
17. 14. SCHRODER ( Dr Ernst). _ Vorlesungen über die Algebra der Logik (Exakte Logik), chez Teubner, à Leipzig (vol. I, 1890; vol. II,Ire Partie, 1891; 2e Partie, 1905; vol. III, Ire Partie, 1895). 
18. 15. HILBERT ( D.). _ Neubegrundung der Mathematik, erste Mitteilung (Abhand-Uingen aus dem Mathcmatischcn Seminar der Hamburger Universitat, 1922). 
19. 16. SCHRODER ( Dr Ernst). _ Abriss der Algebra der Logik, bearbeitet von Dr Eugen Müller (Leipzig und Berlin, Teubner; Teil I, 1909; Teil II, 1910). JFM40.0092.02
20. 17. BOLZANO ( Dr B.). _ Wissenschaftslehre, 4 vol. (Salzbach, 1837). 
21. 18. Formulaire de Mathématiques publié par la Revue de Mathématiques, chez Bocca frères, à Turin (vol. I, 1895; vol. II, 1899). JFM26.0080.02
22. 19. PIERI ( Mario). _ a. Della geometria elementare corne sistema ipotetico dedutivo (Mem. R. Acc. di Torino, 2d Série, t. XLIX, 1899). JFM30.0426.02
23. PIERI ( Mario). _ b. La geometria elementare istituita sulle nozioni di punto e sfera (Mem. della Società italiana delle Scienze, 3e série, t. XV, 1908). JFM39.0545.08
24. PIERI ( Mario). _ c. Un sistema di postulati per la geometria projettiva astratta degli iperespazi (Rivista di Matematica, 1896). Zbl27.0431.01JFM27.0431.01
25. PIERI ( Mario). _ d. Sugli enti primitivi della geometria projettiva astratta (Acc. R. delle Scienze di Torino, 1897). Zbl28.0469.03JFM28.0469.03
26. 20. ZAREMBA ( S.). _ La théorie de la relativité et les faits observés (Journal de Mathématiques pures et appliquées, 1922, fasc. 2). Zbl48.0992.02JFM48.0992.02
27. 21. BURALI-FORTI ( C.). _ Logica Matematica (Milano, chez Ulrico Hoepli; Ire édition, 1894; 2e édition, 1919). JFM47.0038.01
28. 22. Transactions of the american Mathematical Society, vol. IV, 1903 : 
29. a. DICKSON. _ Definition of a field by independant postulates (p. 13-20). Zbl34.0160.02JFM34.0160.02
30. b. DICKSON. _ Definition of a linear associative algebra by independant postulates (p. 21-27). JFM34.0090.02
31. c. HUNTINGTON. _ Two definitions of an abelian group by sets of independant postulates (p. 27-30). Zbl34.0162.01JFM34.0162.01
32. d. HUNTINGTON. _ Definitions of a field by sets of independant postulates (p. 31-37). Zbl34.0161.01JFM34.0161.01
33. e. Complete set of postulates for the theory of real quantities (p. 358-370) Ibid., vol. V, 1904. 
34. HUNTINGTON. _ Sets of independant postulates for algebra of logic (p. 228-309). Zbl35.0087.02JFM35.0087.02
35. 23. HUNTINGTON. _ A set of postulates for abstract geometry expressed in terms of the simple relation of inclusion (Proceedings of the fifth international Congress of Mathematicians, vol. II, 1912, p. 466). Zbl44.0544.03JFM44.0082.03
36. 24. WHITEHEAD ( A. N.). _ A Treatise on universal Algebra with applications, vol. I (Cambridge, 1898). Zbl1205.15005JFM29.0066.03
37. 25. PADOA ( A.). _ La logique déductive dans sa dernière phase de développement (Paris, 1912, chez Gauthier Villars). Zbl43.0098.02JFM43.0098.01
38. 26. SLESZYNSKI ( J.). _ Théorie de la démonstration, vol I; leçons professées à l'Université de Cracovie, rédigées en langue polonaise par S. C. Zaremba et publiées par le Cercle physico mathématique des élèves de l'Université.