A Course in Mathematical Logic by J.L. Bell & Moshe Machover