Introduction to semantics and formalization of logic two vo-lumes in one - Carnap, Rudolf (1959)