(DOWNLOAD) "Metamath" by Norman Megill # eBook PDF Kindle ePub Free
eBook details
- Title: Metamath
- Author : Norman Megill
- Release Date : January 21, 2012
- Genre: Science & Nature,Books,
- Pages : * pages
- Size : 1251 KB
Description
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.