Mathematical Logic by Ian Chiswell