TY - BOOK AU - Carnap,R. TI - The formalization of logic T2 - Studies in Sematics, 2 PY - 1947/// CY - Cambridge PB - Harvard University Press N1 - Bibliography: p.[155]; Includes index ER -