A course in mathematical logic. - Bell, J.L.; Machover, M. (North-Holland Publishing Company, 1977)