Mathematical logic and computability /
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.
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.