My Account
A B C D E F G H I J K L M NO P Q R S T U V W X Y Z
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
Science
Shopping
Society
Sports
All Languages