118 Literaturverzeichnis.

Russell, B., The theory of implication. Amer. J. of Math. 28 (1906).

Russell, B., Principles of mathematics. Camb.. Univ. Press, 1903.

—, Mathematical logic as based on the theory of types. Amer. J. of Math.:30
(1908).

—,.La theorie des types logiques.. Rev. de Met. et de Mor. 18 (1910).

Schröder, E., Der Operationskreis des Logikkalküls. Leipzig 1877.

— ‚Abriß der Algebra der Logik, hrsg. v. E. Müller, 1909/1910.
Sheffer, H. M., A set of five independent postulates for Boolean algebras, with
application to logical constants. Trans. Amer. Math. Soc. 14 (1913).
Skolem, Th., Logisch-kombinatorische Untersuchungen über Erfüllbarkeit und
Beweisbarkeit mathematischer Sätze. Vidersk. Skriften. Mat. Naturw.
Klasse 1920, Nr. 4. Kristiania 1920.

Venn, J., Symbolic logic. 2. Aufl. .‚London 1894.

Whitehead, A. N., A treatise of universal algebra. Camb. Univ. Press, 1898.

—, Memoir on the algebra of symbolic logic. Amer. J. of Math. 23 (1901).

—, The logic of relations, logical substitution groups and cardinal numbers, ibid.,
25 (1903).