Hyperproof
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1994 |
| Authors | Jon Barwise |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2930156 |
About Hyperproof
Hyperproof is a system for learning the principles of analytical reasoning and proof construction, consisting of a text and a Macintosh software program. . . .