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