scientific article; zbMATH DE number 3557777
From MaRDI portal
Publication:4133625
zbMath0358.02055MaRDI QIDQ4133625
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Recursive ordinals and ordinal notations (03F15) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (2)
Term rewriting theory for the primitive recursive functions ⋮ Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen
This page was built for publication:
