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