Id., pag

8. Leibnitii, Difficultates quaedam logicae (Ed. Erdmann, p. 102): « Omne a est b seu a non b est non ens. NuUum a est b seu ab est

non ens ».

9. G. BooLE, The laws of thought 15-18. BooLE, The laios of thought,

ScHRÔDER, Algebra der Logik, I, p. 446; II, p. 200 e segg. 19. A. De Morgan, Formai Logic, 1847, p. 278. 22. E. SoHRÔDER, Vorlesungen ilber die Algebra der Logik, t. II, 1891, p. 280-1.

21-23, J. Hauber, Scholae logicO'math^nmticaey 1829. 24-30, Jevons, Pure logic, a. 1864.

Schrôder, Algebra der Logik, I, p. 381.

Le signe K signifie <^ classe ».

» £ » « est un ».

Le signe / signifie « fonction ». Dans Tlntroduction et dans la V partie et suivantes on Ta changé en f .

3. R. Dedekind. TTas sînd und loas sollen die Zahlen ? Braunschweig, 1888, n. 21 — 5. Id., n. 22 — 9. Id., n. 23 — 10. Id., n. 24 -y 12-14. Id., n. 25 — 21. Id., n. 26 — 24. Id., n. 27 — 25. Id., n. 28 — 26. Id., n. 29 — 28. Id., n. 31.

Rivista di Matematica, 1891, p. 24-31, 182-184; a. 1893, p. 4, 5.

9 — FormuL

130 Notes — Il