Introduction to semantics ; and Formalization of logic - Carnap, Rudolf (Studies in Semantics ;, 1968)