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.

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Seller's business information

Rarewaves USA
10100 West Sample Road, Ste 101, Coral Springs, FL, 33065, U.S.A.

Sale & Shipping Terms

Terms of Sale

Shipping Terms

Please note that we do not offer Priority shipping to any country.

We currently do not ship to the below countries:

Afghanistan
Bhutan
Brazil
Brunei Darussalam
Channel Islands
Chile
Israel
Lao
Mexico
Russian Federation
Saudi Arabia
South Africa
Yemen

Please do not attempt to place orders with any of these countries as a ship to address - they will be cancelled.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	30 to 30 business days	14 to 14 business days
First item	US$ 50.00	US$ 67.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.