Introduction to semantics and Formalization of logic - Carnap, Rudolf (Studies in semantics, 1959)