Text this: Mathematical logic and computability / H. Jerome Keisler, Joel Robbin.