Mathematical logic and computability - Keisler, H. Jerome (International series in pure and applied mathematics, 1996)