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