A course in mathematical logic - Bell, J. L. 1945- (North-Holland, 1997)