Formalization of logic - Carnap, Rudolf (Harvard University Press, 1943)