You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
254 pages • missing pub info (view editions)
ISBN/UID: 9781881526117
Format: Paperback
Language: English
Publisher: Center for the Study of Language and Informat
Edition Pub Date: 20 December 1994
Description
Hyperproof is a system for learning the principles of analytical reasoning and proof construction, consisting of a text and a Macintosh software program. Unlike traditional treatments of first-order logic, Hyperproof combines graphical and sentent...
Community Reviews
Content Warnings
254 pages • missing pub info (view editions)
ISBN/UID: 9781881526117
Format: Paperback
Language: English
Publisher: Center for the Study of Language and Informat
Edition Pub Date: 20 December 1994
Description
Hyperproof is a system for learning the principles of analytical reasoning and proof construction, consisting of a text and a Macintosh software program. Unlike traditional treatments of first-order logic, Hyperproof combines graphical and sentent...
Community Reviews
Content Warnings