Mathematical Logic and Computability/ H. Jerome Keisler, Joel Robbin. - New York The McGraw-Hill Companies, Inc 1996