Introduction to semantics, and formalization of logic - Carnap, Rudolf 1891- (His Studies in semantics, 1961)