Scan barcode
254 pages • missing pub info (editions)
ISBN/UID: 9781881526117
Format: Paperback
Language: English
Publisher: Center for the Study of Language and Informat
Publication 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 (editions)
ISBN/UID: 9781881526117
Format: Paperback
Language: English
Publisher: Center for the Study of Language and Informat
Publication 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