Mathematical logic and computability - Keisler, H. Jerome; Robbin, Joel.; Miller, Arnold (New York McGraw-Hill, 1996)
Keywords: Logic, Symbolic and mathematical; Computable functions