Richard E. Vesley (vesley)

Contributions to Philosophie.ch

Bibliography

Kino, Akiko, Myhill, John and Vesley, Richard E., eds. 1970. Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N.Y. 1968. Studies in Logic and the Foundations of Mathematics n. 60. Amsterdam: North-Holland Publishing Co.
Kleene, Stephen Cole and Vesley, Richard E. 1965. The Foundations of Intuitionistic Mathematics; Especially in Relation to Recursive Functions. Studies in Logic and the Foundations of Mathematics n. 39. Amsterdam: North-Holland Publishing Co. Second edition: Kleene and Vesley (1987).
Kleene, Stephen Cole and Vesley, Richard E. 1987. The Foundations of Intuitionistic Mathematics; Especially in Relation to Recursive Functions. Amsterdam: North-Holland Publishing Co. First edition: Kleene and Vesley (1965).
Vesley, Richard E. 1970. “A Palatable Substitute for Kripke’s Schema.” in Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N.Y. 1968, edited by Akiko Kino, John Myhill, and Richard E. Vesley, pp. 197–207. Studies in Logic and the Foundations of Mathematics n. 60. Amsterdam: North-Holland Publishing Co.
Vesley, Richard E. 1980. “Intuitionistic Analysis: The Search for Axiomatization and Understanding.” in The Kleene Symposium, edited by Jon K. Barwise, Jerome H. Keisler, and Kenneth Kunen, pp. 317–331. Studies in Logic and the Foundations of Mathematics n. 101. Amsterdam: North-Holland Publishing Co. Proceedings of the Symposium held June 18–24, 1978, at Madison, Wisconsin, U.S.A.