Sites 1
Professor of Mathematics, Princeton University. Mathematical logic, foundations of mathematics, bounded arithmetic, and automatic proof verification.
Professor of Mathematics, Princeton University. Mathematical logic, foundations of mathematics, bounded arithmetic, and automatic proof verification.
Last update:
January 16, 2013 at 8:35:06 UTC
Check out
Regional: Europe: United Kingdom: England: London: Newham: Business and Economy: Legal Services
- Recently edited by merlin1
- Recently edited by merlin1