Mathematical logic - Monk, J. Donald (James Donald), 1930- (New York Springer-Verlag, 1976)
Includes bibliographies and indexes.
Keywords: Logic, Symbolic and mathematical