この商品を友人に教える:
Hyperproof: For Macintosh - Center for the Study of Language and Information Publication Lecture Notes Jon Barwise 2nd edition
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
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 1994年6月30日 |
| ISBN13 | 9781881526117 |
| 出版社 | Centre for the Study of Language & Infor |
| ページ数 | 273 |
| 寸法 | 178 × 255 × 20 mm · 612 g |
![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)
![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)
