Search Now to Find Amazing Website on I Dmoz ORG
N Websites
- Category ID : 425224
1 - Nelson, Edward
Professor of Mathematics, Princeton University. Mathematical logic, foundations of mathematics, bounded arithmetic, and automatic proof verification.