Carnap, Rudolf

Introduction to semantics and formalization of logic two vo-lumes in one / - 1959.

Semasiology