Hinman, Peter G. Fundamentals of mathematical logic / Peter G. Hinman - Wellesley, MA : A K Peters, 2005 - xvi, 878 p. ; 24 cm. ISBN: 1568812620 Subjects--Topical Terms: Logic, Symbolic and mathematicalModel theorySet theoryRecursion theory