Keisler, H. Jerome.

Mathematical logic and computability / H. Jerome Keisler, Joel Robbin. - New York : McGraw-Hill, 1996. - vii, 484 p. ; 24 cm. + 1 computer disk (3 1/2 in.). - International series in pure and applied mathematics. .

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.

0079129315 RM202.86


Logic, Symbolic and mathematical.
Computable functions.