Hyperproof for the Macintosh
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: 1993
Place of publication: Stanford, Ca
Language: eng
Number of pages: 255
Subjects: Hyperproof.; Computer science.; Logic, Symbolic and mathematical.; Macintosh (Computer)
Notes: Accompanied by a 3.5" disk.