@MISC{Committee_preliminariesto, author = {Library Committee and Volume Addenda}, title = {Preliminaries to Arithmetic}, year = {}}
this paper. The functor R is defined as follows: (Def. 1) R = (REAL + [[: f;g; REAL+ :]) n fhh;; ;iig: