Formalization of logic, (His Studies in semantics, vol. II)