Metamath
Download, 211 pages
![[cover thumbnail]](http://static.lulu.com/items/volume_63/124000/124435/9/preview/320_124435.jpg?124435-1216996484)
![[Loading...]](http://static.lulu.com/images/ajax-loader.gif?20091217135956)
Free
Downloads 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 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.
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 Metamath web site.
Also available as a Paperback
