@article {851, title = {Some Functional Schemes in Arithmetic}, journal = {Logic Colloquium 2000}, year = {2000}, month = {23-31/07/2000}, pages = {154}, address = {Paris (France)}, author = {Carmen Graciani-D{\'\i}az and Mario J. P{\'e}rez-Jim{\'e}nez and {\'A}lvaro Romero-Jim{\'e}nez} }