Nelson, Edward



All Links

Share this:

Details of Nelson, Edward

About Nelson, Edward
Nelson, Edward- Professor of Mathematics, Princeton University. Mathematical logic, foundations of mathematics, bounded arithmetic, and automatic proof verification.