TY - BOOK AU - Carnap,Rudolf TI - Formalization of logic T2 - Studies in semantics AV - BC108 C35 PY - 1943/// CY - Cambridge PB - Harvard University Press KW - Lógica simbólica y matemática KW - Semántica (Filosofía) N1 - Reimpresiones: (1943) ER -