Description:
CSLI Publications/Center for the Study of Language & Information, 1994. Paperback. Good. Disclaimer:A copy that has been read, but remains in clean condition. All pages are intact, and the cover is intact. The spine may show signs of wear. Pages can include limited notes and highlighting, and the copy can include previous owner inscriptions. At ThriftBooks, our motto is: Read More, Spend Less.Dust jacket quality is not guaranteed.
Hyperproof: For Macintosh (Center for the Study of Language and Information - Lecture Notes) by Jon Barwise; John Etchemendy - 1994-12-20
by Jon Barwise; John Etchemendy
Similar copies are shown below.
Similar copies are shown to the right.
Stock Photo: Cover May Be Different
Hyperproof: For Macintosh (Center for the Study of Language and Information - Lecture Notes)
by Jon Barwise; John Etchemendy
- Used
- Good
- Paperback
Center for the Study of Language and Inf, 1994-12-20. Paperback. Good.
- Bookseller Ergodebooks (US)
- Format/Binding Paperback
- Book Condition Used - Good
- Quantity Available 1
- Binding Paperback
- ISBN 10 1881526119
- ISBN 13 9781881526117
- Publisher Center for the Study of Language and Inf
- Date Published 1994-12-20
We have 6 copies available starting at €6.44.
Hyperproof : For Macintosh
by Jon Barwise; John Etchemendy
- Used
- Good
- Paperback
- Condition
- Used - Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9781881526117 / 1881526119
- Quantity Available
- 1
- Seller
-
Seattle, Washington, United States
- Item Price
-
€6.44FREE shipping to
Show Details
Item Price
€6.44
FREE shipping to
Stock Photo: Cover May Be Different
Hyperproof: For Macintosh (Volume 42) (Lecture Notes)
by Barwise, Jon, Etchemendy, John
- Used
- Condition
- Used - Very Good
- ISBN 10 / ISBN 13
- 9781881526117 / 1881526119
- Quantity Available
- 1
- Seller
-
Frederick, Maryland, United States
- Item Price
-
€5.46€3.99 shipping to
Show Details
Description:
Center for the Study of Language and Inf. Used - 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.
Item Price
€5.46
€3.99
shipping to
Hyperproof CSLI Lecture Notes No. 42
by Barwise, Jon
- Used
- Paperback
- Condition
- Used - Very Good Condition
- Edition
- Edition Unstated
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9781881526117 / 1881526119
- Quantity Available
- 1
- Seller
-
melbourne, Victoria, Australia
- Item Price
-
€12.41€18.00 shipping to
Show Details
Description:
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…
Read More Item Price
€12.41
€18.00
shipping to
Stock Photo: Cover May Be Different
Hyperproof + Diskette
by BARWISE, Jon and ETCHEMENDY, John:
- Used
- Paperback
- Condition
- Used
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9781881526117 / 1881526119
- Quantity Available
- 1
- Seller
-
Murcia, Murcia, Spain
- Item Price
-
€7.00€28.00 shipping to
Show Details
Description:
.- Stanford, California. 1994. CSLI Publications. 4º menor. XVII- 255 pgs. Rústica editorial . Muy buen estado. . . ISBN 10: 1881526119. Informática
Item Price
€7.00
€28.00
shipping to
Stock Photo: Cover May Be Different
Hyperproof: For Macintosh (Volume 42) (Lecture Notes)
by Barwise, Jon
- Used
- Good
- Paperback
- Condition
- Used - Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9781881526117 / 1881526119
- Quantity Available
- 1
- Seller
-
Newport Coast, California, United States
- Item Price
-
€38.28FREE shipping to
Show Details
Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Item Price
€38.28
FREE shipping to
Stock Photo: Cover May Be Different
Hyperproof: For Macintosh (Center for the Study of Language and Information Publication Lecture Notes)
by Jon Barwise; John Etchemendy
- Used
- Good
- Paperback
- Condition
- Used - Good
- Jacket Condition
- No d/j as Published
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9781881526117 / 1881526119
- Quantity Available
- 1
- Seller
-
Stroud, Gloucestershire, United Kingdom
- Item Price
-
€11.90€25.00 shipping to
Show Details
Description:
Stanford: The Center for the Study of Language and Information Publications, 1995. Paperback. Good/No d/j as Published. 4to - over 9¾" - 12" tall. Type: Book Small plain label inside cover.Complete with diskette.
Item Price
€11.90
€25.00
shipping to