PART II - LOGIC AND COMPUTATION
Published online by Cambridge University Press: 31 March 2017
Summary

- Type
- Chapter
- Information
- Reflections on the Foundations of MathematicsEssays in Honor of Solomon Feferman, pp. 137 - 138Publisher: Cambridge University PressPrint publication year: 2002