Carnap, Rudolf Introduction to semantics and formalization of logic two vo-lumes in one / - 1959. Subjects--Index Terms: Semasiology