TY - BOOK AU - Carnap,Rudolf TI - Introduction to symbolic logic and its applications PY - 1958/// CY - New York PB - Dover N1 - Translation of: Einfuhrung in die symbolische Logik; Includes index and bibliographies ER -