Book contents
Chapter V - Metarecursive Enumerability
from Part B - Metarecursion
Published online by Cambridge University Press: 24 March 2017
Summary

- Type
- Chapter
- Information
- Higher Recursion Theory , pp. 115 - 134Publisher: Cambridge University PressPrint publication year: 2017