"synopsis" may belong to another edition of this title.
"About this title" may belong to another edition of this title.
Shipping:
FREE
Within U.S.A.
Book Description Condition: Very Good. Very Good condition. Lecture Notes # 42. Disk included. A copy that may have a few cosmetic defects. May also contain a few markings such as an owner's name, short gifter's inscription or light stamp. Seller Inventory # Y08A-02146
Book Description Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.35. Seller Inventory # G1881526119I3N00
Book Description Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!. Seller Inventory # S_315212545
Book Description Condition: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting. 1.36. Seller Inventory # 1881526119-2-3
Book Description Condition: Very Good. Very Good condition. Shows only minor signs of wear, and very minimal markings inside (if any). 1.36. Seller Inventory # 353-1881526119-vrg
Book Description Condition: Good. Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within 1.36. Seller Inventory # bk1881526119xvz189zvxgdd
Book Description Softcover. Condition: Very Good. 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. Shipped Weight: Under 1 kilo. Category: Language & Linguistics; Major Branches of Philosophical Study; philosophy. ISBN: 1881526119. ISBN/EAN: 9781881526117. Inventory No: 0258532. Seller Inventory # 0258532
Book Description Paperback. Condition: Good. Type: Book Small plain label inside cover.Complete with diskette. Seller Inventory # 055941