Course in mathematical logic - Bell, J L (1986)