Introduction to semantics and Formalization of logic - Carnap, Rudolf (His studies in semantics, 1943)