Mathematical logic - Shoenfield, Joseph R. 1927-2000 (A.K. Peters [u.a.], 2009)