Successor function: The 1-ary successor function S, which returns the successor of its argument (see Peano postulates), is primitive recursive.
Desde este punto de vista, el Comité exhorta a la continuación de los trabajos que se realizan en el seno de la Convención Plus del ACNUR destinados a mejorar y adaptar el estatuto de refugiado y la Convención de GinebraWikiMatrix WikiMatrix