Home > Science > Math > Mathematicians > Personal Pages > N
http://www.math.princeton.edu/~nelson/
Professor of Mathematics, Princeton University. Mathematical logic, foundations of mathematics, bounded arithmetic, and automatic proof verification.
Home > Science > Math > Mathematicians > Personal Pages > N
Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us