Monday, October 23, 2006

MetaMath

Something about proof building is very intresting.
Infinite Primes Theorm

No comments: