Author Spotlight
Norman's Store
Metamath More Detail
'Metamath' is Available on the iBookstore
Metamath By Norman Megill
eBook (ePub for Adobe Digital Editions): $4.99
Download immediately.
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... More > 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.< Less
Metamath More Detail
Metamath By Norman Megill
eBook (PDF): $0.00
Download immediately.
(1 Ratings)
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... More > 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 Metamath web site.< Less
Metamath More Detail
Metamath By Norman Megill
Paperback: $11.25
Ships in 3-5 business days
(1 Ratings)
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... More > 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 Metamath web site.< Less

About Norman Megill

None