Transactions of the American Mathematical Society · 1969 · 139 citations · 14 references
EngineeringComputability TheoryAutomated ReasoningComputational Model TheoryFormal MethodsEtc.the DefinitionComputational ComplexityComputer ScienceNotation ConventionSemanticsModel Of ComputationFunctional ProgrammingSet Pri
f)x gives the number of the schema involved and that (f)2 is the number of arguments of the function in question.We use a notation convention to which we shall adhere: if a function has been named f, g, h, etc., then an index for it will be/ g, h, etc.The definition of the set PRI of indices is by course of values induction on fe B* and has the following eight clauses.
14