Introduction to semantics, and Formalization of logic - Carnap, Rudolf 1891-1970 (Harvard University Press, 1959)