<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-09-13 11:25:03Proof theory Mathematical proofs Automated theorem proving Theorem Mathematical induction Conjecture Kepler conjecture Four color theorem Proof Mathematics Logic Mathematical logic |
