Fundamentals of Mathematical Logic - Peter G. Hinman (Taylor and Francis, 2005)