Part 2 - Provable recursion in classical systems
Published online by Cambridge University Press: 05 January 2012
Summary
- Type
- Chapter
- Information
- Proofs and Computations , pp. 147 - 148Publisher: Cambridge University PressPrint publication year: 2011