The journal of symbolic logic (Cambridge Univ. Press, 1936)