Search alternatives:
"piano arithmetic" » "peano's arithmetic", "micro arithmetic", "abbaco arithmetic"

1
by Hájek, Petr, Pudlák, Pavel
Published 2016
Cambridge University Press
... pay particular attention to subsystems (fragments) of Peano arithmetic and give the reader a deeper...