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