Number theory and elementary arithmetic (2003)

by Jeremy Avigad
Venue:Philosophia Mathematica
Citations:17 - 5 self