Hyperproof CSLI Lecture Notes No. 42
by Barwise, Jon
- Used
- Paperback
- Condition
- Very Good Condition
- ISBN 10
- 1881526119
- ISBN 13
- 9781881526117
- Seller
-
melbourne, Victoria, Australia
Payment Methods Accepted
About This Item
Center for the Study of Language and Inf, Stanford, California, 1994. Edition Unstated. Softcover. Very Good Condition. 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. Shipped Weight: Under 1 kilo. Category: Language & Linguistics; Major Branches of Philosophical Study; philosophy. ISBN: 1881526119. ISBN/EAN: 9781881526117. Inventory No: 0258532. . 9781881526117
Reviews
(Log in or Create an Account first!)
Details
- Bookseller
- Syber's Books ABN 40533682787 (AU)
- Bookseller's Inventory #
- 0258532
- Title
- Hyperproof CSLI Lecture Notes No. 42
- Author
- Barwise, Jon
- Format/Binding
- Softcover
- Book Condition
- Used - Very Good Condition
- Quantity Available
- 1
- Edition
- Edition Unstated
- Binding
- Paperback
- ISBN 10
- 1881526119
- ISBN 13
- 9781881526117
- Publisher
- Center for the Study of Language and Inf
- Place of Publication
- Stanford, California
- Date Published
- 1994
- Keywords
- BZDB2 analytical reasoning proof construction Macintosh software heterogeneity of information Language & Linguistics; Major Branches of Philosophical Study; philosophy. Unbranded ISBN: 1881526119 EAN: 9781881526117 Barwise, Jon Hyperproof CSLI Lectu
- Bookseller catalogs
- philosophy;
Terms of Sale
Syber's Books ABN 40533682787
transaction in Australian $'s for checks and money orders.If the book is not as described, return within 14 days, for a refund of the cost of the book.
We are registered for GST and goods sold to an Australian delivery address will include GST. Our ABN 15 100 960 047
About the Seller
Syber's Books ABN 40533682787
Biblio member since 2005
melbourne, Victoria
About Syber's Books ABN 40533682787
General secondhand dealers, with 3 cats.We have two shops, 227 Glenferrie Rd Malvern 3144, Victoria 03 9530 2222 ( open 7 days Midday 'til 5.30 PM)And the other at 666 Glen Huntly Road Caulfield South 03 9523 666 open 11:00 am - 5.00 pm-ish the other 6 days. We seem to specialize in non mainstream stuff but read and stock Science-fiction, fantasy, detective fiction, history, biography and true crime, war, natural history. cooking, children's books and try to avoid current text books.We probably have the largest collection of Science Fiction, Penguins and general crime in Victoria in an open shop ( David has 8 bookcases 900mm x 2200mm of sf and f) ( Penny has 8 bookcases 1200mm x 2400 of sf and f )On shelf each shop has 30,000 plus books and we list over 30000 books online