Skip to content

Hyperproof For Macintosh (Center for the Study of Language and Information -
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
Back to Top

More Copies for Sale

Hyperproof: For Macintosh (Volume 42) (Lecture Notes)
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
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
A$9.04
A$6.19 shipping to USA

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
A$9.04
A$6.19 shipping to USA
Hyperproof : For Macintosh

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
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
A$10.67
FREE 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
Hyperproof + Diskette
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$11.64
A$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
Hyperproof: For Macintosh (Center for the Study of Language and Information Publication Lecture...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$19.40
A$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

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
Seller rating:
This seller has earned a 3 of 5 Stars rating from Biblio customers.
Item Price
A$20.02
A$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