Number theory and elementary arithmetic (2003)

by Jeremy Avigad
Venue:Philosophia Mathematica
Citations:20 - 6 self