Formalization of logic.
Carnap, Rudolf,1891-1970.
Cambridge, Mass., 
1943.