Number theory and elementary arithmetic (2003)

by J Avigad
Venue:Philosophia Mathematica