Predicative arithmetic /
Nelson, Edward,1932-author.
Originally published 1986, assigned new ISBN when reissued as a print-on-demand title in 2014.
Includes bibliographical references and index.
Constructive mathematics.
Arithmetic.