Metamath
Format: Hardcover
ISBN13: 9780359702237
Hardcover|9780359702237
✨ Featured Offer
Brand New
$38.72
List Price: $37.96
🚚
See all 3 offers from $38.72 FREE standard delivery by: 31 Mar 2026
Overview
Metamath is a computer language and an associated computer program for archiving, verifying, and studying mathematical proofs. The Metamath language is simple and robust, with an almost total absence of hard-wired syntax, and we believe that it provides about the simplest possible framework that allows essentially all of mathematics to be expressed with absolute rigor. While simple, it is also powerful; the Metamath Proof Explorer (MPE) database has over 23,000 proven theorems and is one of the top systems in the "Formalizing 100 Theorems" challenge. This book explains the Metamath language and program, with specific emphasis on the fundamentals of the MPE database.
| ISBN-13 | 9780359702237 |
|---|---|
| ISBN-10 | 0359702236 |
| Weight | 1.10 Pounds |
| Dimensions | 6.00 x 0.63 x 9.00 In |
| List Price | $37.96 |
| Format | Hardcover |
|---|---|
| Language | English |
| Pages | 248 pages |
| Publisher | Lulu.com |
| Published On | 2019-06-06 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Sewn binding. Cloth over boards. 248 p.
Free delivery by: 31 Mar 2026
Brand New
Seller details
GreatBookPrices-
Columbia, MD, USA
100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
Free delivery by: 31 Mar 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 31 Mar 2026