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 and logic KW - Semantics ER -