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... This description may be from another edition of this product.
Format:Paperback
Language:English
ISBN:1881526119
ISBN13:9781881526117
Release Date:December 1994
Publisher:Center for the Study of Language and Informat
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.