Introduction to semantics and formalization of logic - Carnap, Rudolf (Harvard University Press, 1961)