TY  - BOOK
AU  - Barwise,Jon
TI  - Hyperproof
SN  - 1881526119 (pbk.)
KW  - Computer science
KW  - Logic, Symbolic and mathematical
KW  - Hyperproof
N1  - Buku disertakan bersama disket dan boleh didapati dibilik Multimedia KCKL; Includes index
ER  -