Hyperproof - Barwise, Jon (1994)
Buku disertakan bersama disket dan boleh didapati dibilik Multimedia KCKL
Includes index
Keywords: Computer science; Logic, Symbolic and mathematical; Hyperproof