Introduction to semantics (fourth printing) and formulization of logic (third printing.).
Carnap, Rudolf,1891-1970.
Cambridge, Mass., 
1959.