Introduction to Semantics and Formalization of Logic by Rudolf Carnap (1959-12-01)