Formalization of logic - Carnap, Rudolf, 1891-1970 (Studies in semantics, 1947)