Fundamentals Of Mathematical Logic by Peter G. Hinman