<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-09-26 03:04:02Mathematical proof Proof theory Philosophy of mathematics Automated theorem proving Theorem Quasi-empiricism in mathematics Four color theorem Proof KeY Mathematics Logic Mathematical logic |
