×

La logique des mathématiques. (French) JFM 52.0045.04

52 p. Paris, Gauthier-Villars (Mémorial des Sciences mathématiques, fasc. 15) (1926).
Verf. gibt einen (nicht sehr vollständigen) Abriß der “klassischen” Logistik, also ohne jede Berücksichtigung der durch die Grundlagenuntersuchungen hervorgerufenen Ideen (Intuitionistische Logik, Metamathematik usw.). I. Allgemeine Struktur einer deduktiven Theorie. II. Struktur eines mathematischen Beweises. Begriff des vollständigen Beweises. III. Die logischen Prämissen in den mathematischen Theorien. IV. Allgemeiner Überblick über das Ganze der deduktiven Logik.
Besprechungen: A. Buhl, Enseignement 25, 307; B. A. Bernstein, Bulletin A. M. S. 33 (1927), 629.