Hyperproof for the MacIntosh: Three Important New MacIntosh Tools
Jon Barwise, Valens, Alan Bush · 1995
From the Publisher: 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.