Mathematical logic - Monk J Donald (New York Springer-Verlag, 1976)
Keywords: Logic symbolic and mathematical