Mathematical logic and computability - Keisler, H. Jerome; Robbin, Joel. (New York : McGraw-Hill, 1996)
Book is accompanied by one diskette, entitled'Mathematical logic and computability', bearing the same call number and available at Bahagian Koleksi Media.
Original diskette - missing.
Includes bibliographical and index.
Keywords: Logic, Symbolic and mathematical; Computable functions