Mathematical logic and computability - Keisler, H. Jerome (The McGraw-Hill, 1996)
vii, 484 p. : il.; 23 cm.