H. DELACROIX

Vu et permis d'imprimer :

Le Recteur de l’Académie de Paris,

S. CHARLÉTY.

ACKERMANN W. (1). — Begründung des « tertium non datur » mittels der Hilbertschen Theorie der Widerspruchsfreiheit. — Math. Ann., t. 93 (1924), p. 1-36.

— (Il). — Zum Hilbertschen Aufbau der vellen Zahlen. — Maih. Ann., t. 99 (1928), p. 118-135.

— (III). — Über die Erfüllbarkeit gewisser Zählausdrüche. — Math. Ann., t. 100 (1928), p. 638-630.

— (IV). Untersuchungen über das Eliminationsproblem der mathematischen Logik, ibid., t. 110 (1934), p. 390-413. V. aussi HILBERT und ACKERMANN (I).

BaLDUS R. (I). — Über Hilberts Vollständigkeitsaxiom. — Math. Ann., t. 100 (1928), p. 321-333.

BARZIN et A. ERRERA (I). — Sur la logique de M. Brouwer. — Bull. Acad. Sces. Belg., 1427, p. 56-71. É — (II). — Sur le principe du tiers exclu. — Arch. Soc. belge Phil., t. I

BECKER ©. (I). — Mathematische Existenz. — Halle à. d. Saale, Niemeyer,

BERNAYS P. (1). — Axiomatische Untersuchung des Aussagenhalkuls der « Principia mathematica ». — Math. Zeitschr., t. 25 (1926), p. 305-

— (Il). — Die Philosophie der Mathematik und die hilbertsche Beweistheorie. — Blätter f. deutsche Philosophie, t. 4 (1930), p. 326-327.

— (IIl).— Methode des Nachweises von Widerspruchsfreiheit und 1hre Grenzen. — Verhandl. Intern. Math. Kongress. Zurich (1932), t. II,

— (IV). — Sur le platonisme dans les mathématiques. — Enseignement math., t. 34 (1935), p. 52-60.

— (V). — Quelques points essentiels de la métamathématique. — Ibid., P+ 70-05.

— (VI). — Hiülberts Untersuchungen über die Grundlagen der Avrithmetik in Hilbert (XVII), p. 196-216.