Paperback (30 Jun 1994)
Not available for sale
Includes delivery to the United States
Out of stock
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".
| ISBN: | 9781881526117 |
| Publisher: | Center for the Study of Language and Inf |
| Imprint: | CSLI Publications |
| Pub date: | 30 Jun 1994 |
| Language: | English |
| Number of pages: | 254 |
| Weight: | 612g |
| Height: | 255mm |
| Width: | 178mm |
| Spine width: | 20mm |
$5.29off
Hardback
Published 23 Aug 2023
Save $5.29
$11.01off
Hardback
Published 30 Jun 2023
Save $11.01
$2.64off
Paperback
Published 28 Jul 2023
Save $2.64
