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
Nelson, Edward
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
Arts
Business
Computers
Games
Health
Home
News
Recreation
Reference
Regional