Recomienda este artículo a tus amigos:
Hyperproof: For Macintosh - Center for the Study of Language and Information Publication Lecture Notes Jon Barwise 2nd edition
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Jon Barwise
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Hyperproof: For Macintosh - Center for the Study of Language and Information Publication Lecture Notes
Jon Barwise
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 30 de junio de 1994 |
| ISBN13 | 9781881526117 |
| Editores | Centre for the Study of Language & Infor |
| Páginas | 273 |
| Dimensiones | 178 × 255 × 20 mm · 612 g |
Mas por Jon Barwise
Mostrar todo![Cover for Jon Barwise · The Syntax and Semantics of Infinitary Languages - Lecture Notes in Mathematics (Paperback Book) [1968 edition] (1968)](https://imusic.b-cdn.net/images/item/original/426/9783540042426.jpg?jon-barwise-1968-the-syntax-and-semantics-of-infinitary-languages-lecture-notes-in-mathematics-paperback-book&class=scaled&v=1472563618)
Más del mismo editor
![Cover for Julius M. Moravcsik · Meaning, Creativity, and the Partial Inscrutability of the Human Mind - Lecture Notes (Paperback Book) [2 Enlarged edition] (2017)](https://imusic.b-cdn.net/images/item/original/808/9781575864808.jpg?julius-m-moravcsik-2017-meaning-creativity-and-the-partial-inscrutability-of-the-human-mind-lecture-notes-paperback-book&class=scaled&v=1608788655)
![Cover for David Barker-Plummer · Language, Proof, and Logic: Second Edition (Paperback Book) [2 Revised edition] (2011)](https://imusic.b-cdn.net/images/item/original/321/9781575866321.jpg?david-barker-plummer-2011-language-proof-and-logic-second-edition-paperback-book&class=scaled&v=1404323202)
![Cover for Donald E. Knuth · Things a Computer Scientist Rarely Talks About - Lecture Notes (Paperback Book) [New edition] (2003)](https://imusic.b-cdn.net/images/item/original/269/9781575863269.jpg?donald-e-knuth-2003-things-a-computer-scientist-rarely-talks-about-lecture-notes-paperback-book&class=scaled&v=1426459344)
![Cover for Grammatical Interfaces in HPSG - Studies in Constraint-Based Lexicalism (Paperback Book) [New Ed edition] (2001)](https://imusic.b-cdn.net/images/item/original/146/9781575863146.jpg?2001-grammatical-interfaces-in-hpsg-studies-in-constraint-based-lexicalism-paperback-book&class=scaled&v=1775027599)
Ver todo de Jon Barwise ( Ej. Paperback Book y Hardcover Book )