V. aussi HILBERT und BERNAYS (I

BLUMENTHAL D. (1). — Hibertslebensgeschichte. — In Hilbert (XVII), p. 388-420.

BozzANO B. (1). — Philosophie der Mathematik oder Beiträge zu einer begründeteren Darstellung der Mathematik. — 1810; nouv. édit. par H.

Fels (Sammlung Philosophischer Lesestoffe). Paderborn. Schôniugh, 1926.

— (I). — Rein Analytischer Beweis.….. — Prag., 1817, nouv. édit. par B. Jourdain (Ostwald’s Klassiker), Leipzig, Engelmann, 1905. — (I). — Wissenschaftslehre, Versuch einer ausführlicheren Darstellung

der Logik. — 4 t. (1837), nouv. édit. par Hôfler. Leipzig, 1914. BorEL E. (1). — Leçons sur la théorie des fonctions. — xre édit., 1808, 3° édit. avec 7 appendices, Paris, Gauthier-Villars, 1928. — (I). — Méthodes et problèmes de la théorie des fonctions. — Paris, Gauthier-Villars, 1922.

BROUWER (1). — Begründung der Mengenlehre unabhängig vom logischen Saiz vom ausgeschlossen Dritten. — Verh. Akad. Wet. Amsterdam, t. 12 (1918 et 1919), n° 5 et 7.

— (I). — Intuitionistiche Mengenlehre. — Jahresber. d. Deutschen Math. Verein., t. 28 (1919), p. 203-208.

— (Il). — Besitzt jede veelle Zahl eine Dezimalbruchentwicklung ? — Math. Ann., t. 82 (1921), p. 201-210.

— (IV). — Znimtionistische Zerlegung mathematischer Grundbegriffe. — J'ahresb Deutsch. Math. Verein., t. XXXIII (1925), p. 251-256. — (V). — Zur Begründung der intuitionistischen Mathematik. — Math. Ann., t. 93 (1925), p. 244-257, t. 905 (1926), p. 451-488. — (VI). — Intuitionistische Betrachtungen über den Formalismus. — Proc. Ahad. Wet. Amsterdam, t. 21, p. 374-379 ; également S-B. preuss. Ahad.-Wiss. (1927), p. 48-52.

— (VII). — Maithematih Wissenschaft und Sprache. — Monatshefte f. Math. u. Physik., t. 36 (1929), p. 153-164.

— (VIII). — Die Styuktur des Kontinuums. — Wien, 1930 (Gastvorträgen ausländ. Gel. d. exakten Wiss.).

BrunscxvicG L. (1). — Les Etapes de la philosophie des mathématiques. — 2e édit. Paris, Alcan, 1922.

— (Il). — L'Expérience humaïne et la causalité physique. Paris, Alcan, — (II). — Les Ages de l'intelligence. — Paris, Alcan, 1935. CARNAP R. (1). — Abriss der Logistik. — Wien Springer, 1929. — (II). — Die logistische Grundlegung der Mathematik. — Erhennitnis, t. II (1931), p. 98.

— (III). — Logische Syntax der Sprache. — Wien Springer, 1934. — (IV). — Ein Gültigheitshriterium für die Sätze der klassischen Mathematik. — Monatshefte f. Math. u. Physik., t. 42 (1935), p. 163. CavaiLLÈs J. (1). — Le Cercle de Vienne au Congrès de Prague. — Revue de Méta., 1935, P. 137-149. ; — (Il). — Logique mathématique et syllogisme. — Revue philosophique,

1937, P. 163. ns — (III). — Remarques sur la formation de la théorie abstraite des ensem-

bles. — Paris, Hermann, 1937.

CHaAsLes (1). — Aperçu historique sur l’origine et le développement des méthodes en géométrie. — Bruxelles, 1857, 2° édit., 1875.

CHEVALLEY (1). — Variations du style mathématique. — Revue de Méta., 1935, p. 275-284. ; Un ‘2

DEDEKIND (1). — Séetigheit und irrationale Zahlen. — 17e édit., 1872 ; 5° édit.

Braunschweig. V. aussi (III), p. 315.

— (I). — Was sind und was sollen die Zahlen ? — 1re édit., 1887 ; V. aussi (III), p. 335.

— (III). — Gesammelte Werke. — Herausgegeben v. Ore, Fricke u. E. Noether, t. III (mit Stücken aus d. Nachlass). Braunschweig, 1932. DEN M. (1). — Die Grundiegung der Geometrie in historischer Entwicklung. — In Pasch u. Dehn (1), p. 185-271.

EkLuND H. (I). — Über die Mengen die Elemente ihrer selbst sind. — Nyt Tids. for Mat. Avd B. t. 29 (1918), p. 8-28.

ENRIQUES F. (1). — Les fondements de la géométrie. — In Encyclopédie des SC MARS VC RULIPND'ALe FRAENKEL À. (I). — Über den Begriff « definit » und die Unabhängigheïit. des Auswahlaxioms. — S. B. preuss. Akad. Wiss., 1922, p. 253-257. — (Il). — Untersuchungen über die Grundlagen der Mengenlehre. — Math. Zenrtschr., t. 22 (1925), p. 250-273.

— (III). — Zehn Vorlesungen über die Grundlegung der Mengenlehre. — Leipzig u Berlin Teubner, 1927.

— (IV). — Eïinleitung in die Mengenlehre. — 3° éd. Berlin, Springer, — (V). — Sur la notion d'existence dans les mathématiques. — Enseign. Maih., t. 34 (1935), p. 18-32.

— (VI). — Sur l’axiome du choix. — Ibid., p. 32-51.

FRÉCHET M. (1). — Les espaces abstraits. — Paris, Gauthier-Villars. FREGE (1). — Grundlagen der Ayithmetik. — Breslau, Koebner, 1884. — (Il). — Gryundgesetze der Arithmetik. — 2 vol. Iena, Pohle, 1893 et GEIGER M. (1). —- Systematische Axiomatik der Euklidischen* Geometrie. — Augsburg, 1924.

GENTZEN G. (1). — Untersuchungen über das logische SU EE — Math.

Zeitschr., t. 39 (1934), p. 176 et 405.

— (II). — De Waiderspruchsfretheit der reinen PP 1e. — Math. Ann., t. 112 (1936), p. 493-565.

GERGONNE (1). — Considérations philosophiques sur la science de l'étendue. — Annales de Gergonne, t. 16 (1826), p. 209-232. GLIVENKO (1). — Sur la logique de M. Brouwer. — Bull. Acad. Sc. Belg., 1928, p. 225-228.

— (Il).

GôDEL K. (1). — Die Vollstündigheit der Axiome des logischen Funktionenkalküls. — Monaish. f. Math. u Physik, t. 37 (1930), p. 349-360. -

— (Il). — Über formal unentscheidbare Sätze der Principia mathematica und verwanditer Systeme. — Ibid., t. 38 (1931), p. 173-198.

— (III). — Zur intuitionistischen Arithmetih und Zahlentheorie. — Eyrgebn. math. Kolloqiums (Menger), 1933 Hefîft 4, p. 35-38.

— (IV). — Eine Interpretation des intuitionistischen Aussagenkalküls. — Ibid., p. 39-40.

GONSETH (I). — Les fondements des mathématiques. — Paris. — (II). — Les mathématiques et la réalité. Essai sur la méthode axioma-

tique. — Paris, Alcan, 1936.

GRASSMANN (1). — Lineale Ausdehnungslehre, ein neuer Zweig der Mathematk. — 1844, in (VI), t. I, p. 1-319.

— (I). — Geometrische Analyse geknüpft an die von Leibniz erfundene

Charakteristik. — In (VI), t. I, p. 320-398.

— (IT). — Sur les différents genres de multiplications. — J. Crelle, t. 49 (1855), p. 123-141.

— (IV). — Lehrbuch der Arithmetik für hôhere Lehranstalten. — Berlin, 1861 in (VI), t. IL, p. 295-340.

— (V). — Ausdehnungslehre. — 2e édit. transformée, 1862 in (VI), CD r-370.

— (VI). — Gesammelte Werke. Leipzig, Teubner, 1894.

HAEN H. (1). — Über die Multiplication total-additiver M engenhkfunhthonen. — Annali d. R. Scuola Norm. di Pisa, II, 2 (1933), p. 429-452.

HANKEL H. (1). — Theorie der complexen Zahlensysteme. — Leipzig, Voss,

HAUSDORFF F. (1). — Gründzüge der Mengenlehre. — Leipzig von Veit, 1914.

— (II). — Mengenlehre. — Nouv. édit. modifiée de (I). Berlin u Leipzig, Walter de Gruyter, 1927.

HERBRAND J. (1). — Les bases de la logique hilbertienne. — Rev. de Méta., t. 37 (1930), p. 243-255.

— (II). — Recherches sur la théorie de la démonstration. Thèses de la Fac. des Sc. de Paris, 1930 (aussi Tyav. de Soc. d. Sc. et L. Varsovie, 1930, P. 33-160).

— (III). — Sur le problème fondamental de la logique mathématique. — C. R. Soc. d. Sc. et L. Varsovie, cl. LILI, t. 24 (1931), p. 12-56.

— (IV). — Sur la non contradiction de l'arithmétique. — Journ. f. Math, t. 166 (1931), p. 1-8.

HEYTING A. (I). — Die formalen Regeln der intuitionistischen Logik. — S-B. preuss. Ahad. Wiss., 1930, p. 42-56.

— (II). — Die formalen Regeln der intuitionistischen Mathematih. — S.-B. preuss. Akad. Wiss., 1930, p. 57-71 et p. 158-160.

— (III). — Die intuihionistische, Grundlegung der Mathematik. — Erkenntnis, t. 2 (1931), p. 106-115.

— (IV). — Mathematische Grundlagenforschung Intuitionismus Beweirstheorie. — (Ergebn. d. Mathematik). Berlin, Springer, 1934.

— (V). — De Ontwikkeling van de intuitionitische Wiskunde. — Euclides, t. XIII (1936), aft III.

Hizsert D. (I). — Über die gerade Linie als hüvrzeste Verbindung zweier Punkte. — Math. Ann., t. 46 (1894), appendice 1n (III), p. 126-132.

— (II). — Über die Elemente der euklidischen Geometrie. — Cours dactylographié, rédigé par H. von Schaper (1808-1899). Salle de lecture de l’Institut de mathématiques de Gôttingen.

— (III). — Grundlagen der Geometrie. — 11e édit. 1899 : Festschrift zur Enthüllung des Gauss-Weber Denkmal Gôttingen; 7° édit. avec appendices. Berlin et Leipzig Teubner, 1930.

— (IV). — Mathematische Probleme. — Discours prononcé au 2° congrès international des mathématiciens. Paris, 1900, reproduit in (XVII), p. 290-329.

— (V). — Über den Zahlbegriff. — Jahresber. Deutsch. Math. Vereinig., t. 8 (1900), reprod. in (III), p. 241-246.

— (VI). — Uber die Grundlagen der Geometrie. — Math. Ann., t. 56 (1902), reprod. in (III), p. 178-230.

— (NII). — Über die Grundlagen der Logik und der Arithmetik. — Verhandlungen d. III Inteyrnat. Mathematiher Kongress. Heidelberg, 1904, reprod. in (III), p. 247-262.

— (VIII). — Axiomatisches Denken. — Math. Ann., t. 78 (1918), reprod. in (XVII), p. 146-156.

— (IX). — Neubegründung der Mathematik. — Abh. math. Semin. Hamburg, t. LI (1922), reprod. in (XVII), p. 156-177.

— (X). — Die logischen Grundlagen der Mathematik. — Math. Ann. t. 88 (1923), reprod. in (XVII), p. 178-197.

— (XI). — Über das Unendliche. — Math. Ann., t. 95 (1925), p. 161- 190, reproduit en partie (sans la solution au problème du continu) in (III), p. 262-288.

— (XII). — Die Grundlagen der Mathematik. — Hamburger Seminars Eïinzelschr. (1928) mit Zusätzen von H. Weyl u. P. Bernays, reprod. en partie in (III), p. 289-312.

— (XIII). — Probleme der Grundlegung der Mathematik. — Math. Ann., t. 102 (1930), reprod. in (III), p. 313-323.

— (XIV). — Die Grundlegung der elementaren Zahlenlehre. — Math. Ann. t. 104 (1931), reprod. in (XVII), p. 122-1095.

— (XV). — Beweis des Tertium non datur. — Nachr. Ges. Wiss. Gôüttingen KI. ï (1931), Pp. 120-125.

— (XVI). — Naturerkennen und Logik. — Verhandl. Ges. disch. Naturforsch., 1931, reprod. in (XVII), p. 378-387.

— (XVII). — Gesammelie Abhandlungen. — T. III, Analysis, etc. Berlin, Springer, 1935.

HiLBERT D. und ACKERMANN W. (I). — Grundzüge der theoretisèhen Logihk. —

Berlin, Springer, 1928.

HiLBERT D. und BERNAYS P. (1). — Gyundlagen der Mathematik, t. I. — Berlin, Springer, 1934.

HUNTINGTON (1). — À new set of postulates for detweennes, with proof of complete independance. — Trans. of the Amer. Math. Soc., t. 26 (1924), p. 257-282.

HusserL (1). — Logische Untersuchungen. — 3 vol. Halle (Saale), Niemeyer,

— (Il). — Formale und transzendentale Logik.— Halle (Saale), Niemeyer, KAUFMANN (1). — Das Unendliche in der Mathematik und seine Ausschaltung. — Leipzig u Wien, 1930.

— (I). — Bemerkungen zum Grundlagenstreit in Logik und Mathema-

tk. — Erkenninis, II (1931), p. 262-200.

KLEIN F. (1). — Über die sogenannte Nicht euklidische Geometrie. — Math. Ann., t. 6 (1873), p. 140.

— (). — Etnleitung in die hôhere Geometrie. — Gôttingen, 1803. KOLMOGOROFF (1). — Zur Deutung der intuitionistischen Logik. — Math. Zeischr., t. 35 (1932), p. 58-65.

LAUTMAN A. (I). — Le Congrès de Philosophie des Sciences de 1935. — Revue de Méta., 1936, p. 115-129.

— (11). — Essai sur les notions de structure et d'existence en mathématiques. — Paris Hermann 1937.

LeBESGUE H. (1). — Leçons sur l'intégration et la recherche des fonctions primitives. — 1e édit., Paris, Gauthier-Villars, 1903; 22 édit. augmentée, 1928.

— (I). — Sur les fonctions représentables analytiquement. — Journal de

Mathématiques, 1905, p. 139-210.

LÉVY P. (1). — Sur le principe du tiers exclu. — Revue de Méta., 1926, p. 253- — (II). — Critique de la logique empirique. — Ibid., 1926, p. 545-551. LôwENHEIM L. (I). — Über Môglichkeiten im Relativkalkül. Math. Ann., t. 76 (1915), p. 447-470.

LuKAsIEwICZz et TARSKI (1). — Untersuchungen über den Aussagenkalkeül. — C. R. Soc. Sc. et Lettres de Varsovie, cl. IIT, 1930, p. 30-50. LusiN N. (1). — Leçons sur les ensembles analytiques. — Paris, Gauthier- Villars, 1930.

— (Il). — Sur les suites stationnaires. — Paris, Hermann, 1934. — (III). — Sur les ensembles analytiques nuls. — Fundamenta Math., t. 85 (1935), p. 109-131.

MIRIMANOFF D. (1). — Les antinomies de Russell et de Burali-Forti et le problème fondamental de la théorie des ensembles. -— Enseign. Math., t. 19 (1917), p. 37-52.

— (II). — Remarques sur la théorie des ensembles et les antinomies cantoriennes. — (1), 2b1d., t. 19, p. 209-217, (II), 2b1d., t. 21, p. 29-52. VON NEUMANN J. (1). — Eine Axiomatisierung der Mengenlehre. — \Journ. f. Math., t. 154 (1925), p. 219-240.

— (II). — Zur Hilberischen Beweistheorie. — Math. Zeiischr., t. 26 (1927), p. 1-46.

— (III). — Die Axiomatisierung der Mengenlehre. — Math. Zeitschr., t. 27 (1925), p. 669-752.

— (IV). — Uber die Definition durch transfimite Induhtion. — Math. Ann., t. 99 (1928), p. 373-391.

— (VW). — Uber eine Widerspruchsfreitsfrage in der axiomatischen Mengenlehre. — Journ. f. Math., t. 160 (1929), p. 227-241. — (VI). — Die formalistische Grundlegung der Mathematih. — Erhenntns, CLIN(TO3T); D: T16-r217- Pascx (I). — Vorlesungen über neuere Geometrie. — ire édit. Leipzig, 1882 ; nouv. édit. in Pasch u Dehn.

Pascx u. DEHN (I). — Vorlesungen über neuere Geometrie. Berlin, Springer, PEANO (1). — Arithmetices principia nova methodo exposita. Augustae Taurinarum 1880.

PétTer Rosa (I). — Über den Zusammenhang der Begriffe der rekursiven Funktionen. — Math. Ann., t. 110 (1934), p. 612. — (Il). — Konstruhtion nicht-rekursiver Funktionen. — Math. Ann. t. III (1935), p. 43.

PRESBURGER M. (1). — Über die Vollstandigteit eines gewissen Systems der

Avithmetik ganzer Zahlen in welchem die Addition als einzige Operation hervortritt. — C. R. du 1° Congrès des Math. des Pays Slaves. Varsovie, 1930, P. 92-101.

QuINE (I). — À Systeme of Logistic. — Harvard Universited Press, 1934.

RAMSEY (I). — The foundations of mathematics and other logical essays. — Londres, 1931.

RusseLz B. (1). — Introduction à la philosophie mathématique. Trad. M. Moreau, Paris, Payot, 1928.