Number theory and elementary arithmetic (0)

by J Avigad
Venue:Philosophia Mathematica