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