We strive to deliver the best value to our customers and ensure complete satisfaction for all our textbook rentals.
You can return your online books for any reason within our refund period – no questions asked.
Every order is available for express shipping, and return shipping is always free.
You'll be happy with the quality of your books (or we'll ship you another one on our dime).
You can extend your rental at any time – at the same cheap daily rental rate.
If you decide to keep the book it will never cost more than the purchase price.
As always, you have access to over 5 million titles. Plus, you can choose from 5 rental periods, so you only pay for what you’ll use. And if you ever run into trouble, our top-notch U.S. based Customer Service team is ready to help by email, chat or phone.
* Free shipping excludes HI, AK and PR.
Supplemental materials are not guaranteed for used textbooks or rentals (access codes, DVDs, workbooks).
Chapters: Metamath. Source: Wikipedia. Pages: 135. Not illustrated. Free updates online. Purchase includes a free trial membership in the publisher's book club where you can select from more than a million books without charge. Excerpt: Metamath is a computer-assisted proof checker. It has no specific logic embedded and can simply be regarded as a device...
Chapters: Metamath. Source: Wikipedia. Pages: 135. Not illustrated. Free updates online. Purchase includes a free trial membership in the publisher's book club where you can select from more than a million books without charge. Excerpt: Metamath is a computer-assisted proof checker. It has no specific logic embedded and can simply be regarded as a device to apply inference rules to formulas. Simplicity is the master concept in the design of Metamath: the language of Metamath, employed to state the definitions, axioms, inference rules and theorems is only composed of a handful of keywords and all the proofs are checked using one simple algorithm based on the substitution of variables (with optional provisos for what variables must remain distinct after a substitution is made). This "substitution" is just the simple replacement of a variable with an expression and not the proper substitution described in works on predicate calculus. Metamath has been used to develop set.mm, a human-readable database containing about 8000 (As of March 2008) fully formal proofs of mathematical theorems built upon ZFC set theory. Those proofs may be browsed on the internet using an interface called Metamath Proof Explorer. New theorems are added to set.mm daily; a table of the most recent proofs is maintained. Contributions are welcome. Help and information can be received either by asking Megill himself or by consulting a wiki, where some FAQs are located. Metamath's simplicity philosophy has good and bad consequences. Unlike the Mizar system and other proof assistants, which tend to imitate the informal proofs normally used by mathematicians by automating (and hiding) the most technical parts, proofs developed using Metamath are fully detailed; this entails that every step can be verified by the readers even if the mathematical field the theorem belongs to is not known to them (though actual development of theorems and proofs normally requires...More: http://booksllc.net/?id=6023946
Out of Stock
We're fresh out of that one today.
So sorry. Try back another time as our inventory fluctuates daily.
Since launching the first textbook rental site in 2006, BookRenter has never wavered from our mission to make education more affordable for all students. Every day, we focus on delivering students the best prices, the most flexible options, and the best service on earth. On March 13, 2012 BookRenter.com, Inc. formally changed its name to Rafter, Inc. We are still the same company and the same people, only our corporate name has changed.