Show Bookstore Categories

Metamath

ByNorman Megill

Usually printed in 3 - 5 business days
Metamath is a tiny computer language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program. The first part of the book provides easy-to-read informal discussion of abstract mathematics and computers for general audiences. The later parts provide in-depth coverage of the foundations of mathematics, the Metamath language, and the Metamath program. More information can be found at the <a href="http://us2.metamath.org:8888/index.html">Metamath</a> web site.

Details

Publication Date
May 5, 2005
Language
English
ISBN
9781411637245
Category
Science & Medicine
Copyright
All Rights Reserved - Standard Copyright License
Contributors
By (author): Norman Megill

Specifications

Pages
211
Binding
Perfect Bound
Interior Color
Black & White
Dimensions
US Trade (6 x 9 in / 152 x 229 mm)

Ratings & Reviews