TY - BOOK AU - Carnap,Rudolf TI - Introduction to semantics and formalization of logic PY - 1959/// CY - Cambridge PB - Harvard University Press N1 - Includes index; Bibliography: p.[154] ER -