Formal Proof

by Thomas C. Hales , Novum Organum
Citations:13 - 1 self