Elementary Arithmetic

TitleElementary Arithmetic
Publication TypeJournal Article
Year of Publication2005
AuthorsOstrin, GE, Wainer, SS
JournalAnnals of Pure and Applied Logic
Volume133
Pagination275-292
URLhttp://www.iam.unibe.ch/ltgpub/2005/ow05.pdf