Carnap, Rudolf, 1891-1970 Introduction to semantics and formalization of logic. - Cambridge, Mass. : Harvard University Press, 1959. - 2 v ; in 1. Subjects--Topical Terms: Semantics.Logic, Symbolic and mathematical.