Nelson, Edward
math.princeton.eduProfessor of Mathematics, Princeton University. Mathematical logic, foundations of mathematics, bounded arithmetic, and automatic proof verification.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.