Part 3 - Constructive logic and complexity
Published online by Cambridge University Press: 05 January 2012
Summary
- Type
- Chapter
- Information
- Proofs and Computations , pp. 247 - 248Publisher: Cambridge University PressPrint publication year: 2011