Charles Parsons. On a number theoretic choice schema and its relation to induction. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London
1970, pp. 459–473. -
Charles Parsons. Review of the foregoing. Zentralblatt für Mathematik and ihre Grenzgebiete, vol. 202 (1971), pp. 12–13. -
Charles Parsons. On n-quantifier induction. The journal of symbolic logic, vol. 37 (1972), pp. 466–482.
1974 ◽
Vol 39
(2)
◽
pp. 342-342