Formalization of logic - Carnap, Rudolf 1891- (Studies in semantics, 1943)