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