Hyperproof
By: John Barwise & John Etchemendy ; program by Gerard Allwein, Mark Greaves, and Michael Lenz ; with additional programming by Alan Bush ... [et al.].
Contributors: Etchemendy, John, 1952-
Series: CSLI lecture notes -- no. 42.
Publisher: CSLI Publications
Published: 1994
Place of publication: Stanford, Calif
Language: eng
Number of pages: 255
Subjects: Hyperproof.; Computer science.; Logic, Symbolic and mathematical.; Macintosh (Computer)
Notes: Includes index.

COMPUTER DISK AVAILABLE AT THE CIRCULATION DESK.