Avigad, Jeremy

Avigad, Jeremy
All Links

Share this:

Details of Avigad, Jeremy

About Avigad, Jeremy
Avigad, Jeremy- Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.
Education