your guide to Australian Bookshops Search Books Search for a Bookshop Log In to    View items in your shopping cart   
Browse Bookshops    About Us    Resources    Sell Your Books    List Your Bookshop    Register    

Send Book Inquiry to Bookseller: Syber's Books

Book Details:

Barwise, Jon,:  Hyperproof CSLI Lecture Notes No. 42
Book Number: 0258532
Center for the Study of Language and Inf, Stanford, California, 1994.  Softcover. Very Good Condition/. Edition Unstated. Hyperproof is a system for learning the principles of analytical reasoning and proof construction, consisting of a text and software program on a 3.5 inch diskette. 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 information. This strategy allows students to focus on the information content of proofs, rather than the syntactic structure of sentences. Using Hyperproof the student learns to construct proofs of both consequence and nonconsequence using an intuitive proof system that extends the standard set of sentential rules to incorporate information represented graphically. Hyperproof is compatible with various natural-deduction-style proof systems, including the system used in the authors' Language of First-Order Logic. the book may have been read but shows no damage, and the diskette is still sealed at the rear of the book Size: 4to 9" - 12" tall. 254 pages. Text body is clean, and free from previous owner annotation, underlining and highlighting. Please refer to accompanying picture (s). Quantity Available: 1. Category: Language & Linguistics; Major Branches of Philosophical Study; philosophy. ISBN: 1881526119. ISBN/EAN: 9781881526117. Inventory No: 0258532.
Price: $17.60

Please enter your details

E-mail: *
Name: *
Country: *
Anti-spam Code click for new code

Enter Anti-spam Code here. (USE CAPITALS)

* required fields