HYPERPROOF FOR THE MACINTOSH - Barwise,Jon; Etchemendy,John (Center For The Study Of Language And Information, 1994)
Includes Index
Alongwith Diskette
Keywords: Computer Science; Logic,Symbolic And Mathematical; Macintosh (Computer)