Fundamentals of mathematical logic - Hinman, Peter G. (Wellesley, Mass. A.K. Peters, 2005)
Dr. Henry Adorna (recommending faculty) : CS Dept.
Keywords: Logic, Symbolic and mathematical; Model theory; Set theory; Recursion theory