TY - BOOK AU - Carnap, Rudolf TI - Introduction to semantics and formalization of logic two vo-lumes in one PY - 1959/// KW - Semasiology ER -