Book contents
Chapter 2 - General Theory: Subcomputations
from Part A - General Theory
Published online by Cambridge University Press: 31 March 2017
Summary
- Type
- Chapter
- Information
- General Recursion TheoryAn Axiomatic Approach, pp. 43 - 62Publisher: Cambridge University PressPrint publication year: 2017