149 citations · 517 across the 29 of their papers we have counts for
1 paper · 2 filters
Jeremy Avigad
Proof theory began in the 1920's as a part of Hilbert's program, which aimed to secure the foundations of mathematics by modeling infinitary mathematics with formal axiomatic syste…