Introduction to semantics and formalization of logic. 2V in 1V. - Carnap Rudolf (1943)