Show Synopsis

Comprised of a Macintosh software program and a text, Hyperproof is a system for learning the principles of analytical reasoning and proof construction. Unlike traditional treatments of first-order logic, it combines graphical and sentential information, presenting a set of logical rules for integrating the different forms of information.

Filter Results
Item Condition
Seller Rating
Other Options
Change Currency
Cash for Textbooks

Textbook Buyback

Customer Reviews

Write a Review

This item doesn't have extra editions