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

Category
N
Visits
294
Added
Oct 7, 2025
Rating
(19)
Rate This Site
QR Code
QR code Download PNG
Embed Badge
Place this code on your website to show you're listed here.
Advertise herefrom $15.00/day  ·  RON $21.00/day
Get the best links delivered weekly — hand-picked from 2,722,315 resources