Formalization of logic - Carnap, Rudolf 1891- (Cambridge, Mass. Harvard University Press, 1943)
Keywords: Logic, Symbolic and mathematical; Semantics