TY - BOOK AU - Carnap,Rudolf TI - Introduction to semantics and formalization of logic PY - 1959/// CY - Cambridge, Mass. PB - Harvard University Press KW - Semantics KW - Logic, Symbolic and mathematical ER -