Skip to main content
PBS logo
 
 

Search - Hyperproof: For Macintosh (Center for the Study of Language and Information - Lecture Notes)

Hyperproof: For Macintosh (Center for the Study of Language and Information - Lecture Notes)
Hyperproof For Macintosh - Center for the Study of Language and Information - Lecture Notes
Author: Jon Barwise, John Etchemendy
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 sentential information, presenting a set of logical rules for integrating these different forms of informat...  more »
ISBN-13: 9781881526117
ISBN-10: 1881526119
Publication Date: 12/20/1994
Pages: 254
Edition: Pap/Dsk
Rating:
  ?
0 stars, based on 0 rating
Publisher: Center for the Study of Language and Inf
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.