(1) W. ACKERMANN, "'Über die Erfüllbarkeit gewisser Zählaus-
drücke'", Math. Ann. c ( 1928), 638-49.

(2) K. AJDUKIEWICS, Z metodologji nauk dedukcyjnych (From the
methodology of the deductive sciences) (Lwów, 1921).

(3) K. AJDUKIEWICZ, Główne zasady metodologji nauk i logiki formalnej
(Main principles of the methodology of the sciences and of formal
logic) (Warszawa, 1928).

(4) K. AJDUKIEWICZ, "Logiczne podstawy nauczania (The logical
foundations of teaching)", Encydopidja Wychowania, ii (War-
szawa, 1934), 1-75.

(5) P. BERNAYS, ' "Axiomatische Untersuchung des Aussagenkalküls
der Principia mathematica"', Math. Z., xxv ( 1928), 305-20.

(5a) P. BERNAYS and M. SCHÖNFINKEL, "'Zum Entscheidungsproblem
der mathematischen Logik'", Math. Ann. , xcix( 1928), 342-
72.

(6) B. A. BERNSTEIN, "'Whitehead and Russell's theory of deduction
as a mathematical science'", Bull. Amer. math. Soc., xxxvii
( 1931), 480-8.

(6a) E. W. BETH, "'On Padoa's method in the theory of definition'",
Indagationes Mathematicae, xv 1953), 330-9.

(7) G. BIRKHOFF, "'On the combination of subalgebras'", Proc. Cam-
bridge phil. Soc., xxix ( 1933), 441-6.

(7a) G. BIRKHOFF, "Lattice Theory", Amer. Math. Soc. Colloquium Publi-
cations xxv ( revised ed.). ( New York, 1948).

(8) R. CARNAP, Abriβ der Logistik (Wien, 1929).

(9) R. CAPNAP, "'Bericht über Untersuchungen zur allgemeinen Axio-
matik'", Erkenntnis, i ( 1930), 303-7.

(10) R. CARNAP, Logische Syntax der Sprache (Wien, 1934).

(11) R. CARNAP, "'Ein Gültigkeitskriterium für die Sätze der klassi-
schen Mathematik'", Mh. Math. Phys., xlii ( 1935), 163-90.

(11a) A. CHURCH, "'Special cases of the decision problem'", Revue Philo-
sophique de Louvain, xlix ( 1951), 203-21.

(12) L. CHWISTEK, "'The theory of constructive types (Principles of
logic and mathematics)'", Part I, Ann. Soc. polon. Math.,
ii ( 1924), 9-48.

(13) L. CHWISTEK, "'Neue Grundlagen der Logik und Mathematik'",
Math. Z., xxx ( 1929), 704-24.

(14) L. CHWISTEK, "'Über die Hypothesen der Mengenlehre'", Math.
Z., xxv ( 1926), 439-73.

(14a) L. COUTURAT, L'algèbre de la logique ( Paris, 1905).

(15) R. DEDEKIND, Was sind und was sollen die Zahlen? 5th. ed.
( Braunschweig, 1923).

(15a) A. H. DIAMOND and J. C. C. MCKINSEY, "'Algebras and their
subalgebras'", Bull. Amer. math. Soc., liii ( 1947), 959-62.

-456-