Polynomial time computable arithmetic (1990)

by F Ferreira
Venue:Contemporary Mathematics