Hierarchies of Primitive Recursive Funct
β
Charles Parsons
π
Article
π
1968
π
John Wiley and Sons
π
English
β 972 KB
9 Yn), ~1 , \* \* . ? ~n l then the definition of 97 is of degree max ( p ) q) + 1 . l) l ) We omit from consideration the schema for recursion without pareymeters. It can be accommodated into our arguments by simplified versions of the arguments for (V), or it can be omitted as a primitive schema w