article

Streamlined subrecursive degree theory

Lars Kristiansen, Jan-Christoph Schlage-Puchta, Andreas Weiermann (2012) ANNALS OF PURE AND APPLIED LOGIC

Reference details