scientific article; zbMATH DE number 3082569

zbMath0052.01301MaRDI QIDQ5821428

Norman Routledge

Publication date: 1953

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

A survey of ordinal interpretations of type ɛ0 for termination of rewriting systems ⋮ Nested recursion ⋮ Recursive Functions Defined by Ordinal Recursions ⋮ Reducing Ordinal Recursion ⋮ A Theorem on General Recursive Functions ⋮ Proof of a Conjecture of Routledge ⋮ Classifications of Recursive Functions by Means of Hierarchies