MATHEMATICAL LOGIC - Monk, James Donald (Berlin Springer-Verlag, 1976)
Keywords: Logic -- Symbolic And Mathematical