Search Results: ''

Search

×
×
×
×
2 results for ""
Metamath By Norman Megill
Paperback: $11.25
Prints 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
Metamath By Norman Megill
eBook (PDF): $0.00
(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

Top 10

see more >
 
1
Genius Matters Genius Matters By Angela Maiers
Paperback: $22.00
 
 
 
 
3
Animal Dads Animal Dads By Ami Dobelle
Paperback: $13.49
 
 
 
 
 
 
10