A Course in mathematical logic - Bell, J.L. and Machover, M. (New York North-Holland Publishing, 1977)
Keywords: Logic; Mathematical logic