Hyperproof: For Macintosh - Center for the Study of Language and Information Publication Lecture Notes - Jon Barwise - Books - Centre for the Study of Language & Infor - 9781881526117 - June 30, 1994
In case cover and title do not match, the title is correct

Jon Barwise
Hyperproof: For Macintosh - Center for the Study of Language and Information Publication Lecture Notes 2nd edition

Get an email once the item is available
Do you have a profile? Log in

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

Hyperproof is a system for learning the principles of analytical reasoning and constructing proofs. It is intended for use in conjunction with a presention of the formal syntactic system of first-order propositional logic, especially the authors' software program, "Tarski's World".

273 pages

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 30, 1994
ISBN13 9781881526117
Publishers Centre for the Study of Language & Infor
Pages 273
Dimensions 178 × 255 × 20 mm   ·   612 g

More by Jon Barwise

Show all

Mere med samme udgiver

See all of Jon Barwise ( e.g. Paperback Book and Hardcover Book )