Acourse in mathematical logic - Bell, J.L (North-Holland, 1977)