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