TY  - BOOK
AU  - Keisler,H.Jerome
AU  - Robbin,Joel
TI  - Mathematical logic and computability
SN  - 0079129315
PY  - 1996///
CY  - New York
PB  - McGraw-Hill
KW  - Logic, Symbolic and mathematical
KW  - Computable functions
N1  - 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
ER  -