KBOs, ordinals, subrecursive hierarchies and all that
Georg Moser · Journal of Logic and Computation · 2014
Journal Article KBOs, ordinals, subrecursive hierarchies and all that Get access Georg Moser Georg Moser Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 27, Issue 2, March 2017, Pages 469–495, https://doi.org/10.1093/logcom/exu072 Published: 03 December 2014 Article history Received: 03 June 2013 Published: 03 December 2014