Mathematical Logic and Computability - Keisler, H. Jerome (McGraw-Hill, 1996)