Part A - Development of Mathematics within Subsystems of Z2
Published online by Cambridge University Press: 19 February 2010
Summary
- Type
- Chapter
- Information
- Subsystems of Second Order Arithmetic , pp. 61 - 62Publisher: Cambridge University PressPrint publication year: 2009