The following pages link to (Q4133625):
Displaying 6 items.
- Term rewriting theory for the primitive recursive functions (Q674412) (← links)
- (Q3030811) (← links)
- Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen (Q3048827) (← links)
- (Q3979275) (← links)
- How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study (Q4254685) (← links)
- Unary primitive recursive functions (Q5502807) (← links)