Formalization of logic - Carnap, Rudolf 1891-1970 (Harvard Univ. Press, 1947)