The Journal of symbolic logic - Black, Max; Church, Alonzo (Assoc. for Symbolic Logic, 1948)