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.
Stock Photo: Cover May Be Different
Hyperproof For Macintosh (Center for the Study of Language and Information - Lecture Notes) Paperback - 1994 - 1st Edition
by Barwise, Jon; Etchemendy, John
Details
- Title Hyperproof For Macintosh (Center for the Study of Language and Information - Lecture Notes)
- Author Barwise, Jon; Etchemendy, John
- Binding Paperback
- Edition number 1st
- Edition 1
- Pages 254
- Language ENG
- Publisher Center for the Study of Language and Inf, Stanford, California
- Date December 20, 1994
- ISBN 9781881526117
More Copies for Sale
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
-
A$9.04A$6.19 shipping to USA
Show Details
Item Price
A$9.04
A$6.19
shipping to USA
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
-
A$10.67FREE shipping to USA
Show Details
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.
Item Price
A$10.67
FREE shipping to USA
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
-
A$11.64A$46.54 shipping to USA
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
A$11.64
A$46.54
shipping to USA
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
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9781881526117 / 1881526119
- Quantity Available
- 1
- Seller
-
Stroud, Gloucestershire, United Kingdom
- Item Price
-
A$19.40A$48.50 shipping to USA
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
A$19.40
A$48.50
shipping to USA
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
-
A$20.02A$18.00 shipping to USA
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
A$20.02
A$18.00
shipping to USA