Fundamentals of mathematical logic - Hinman, Peter G. (A.K. Peters, 2005)