Avigad, Jeremy
andrew.cmu.eduCarnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.