Your search returned 2 results.

Results
	1.	No cover image available No cover image available No cover image available Intuitionism and proof theory: Proceedings of the summer conference at Buffalo, N.Y., 1968/ edited by A. Kino, J. Myhill and R. E. Vesley. by Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo) Kino, A [ed.] Myhill, John [ed.] Vesley, Richard Eugene, 1932- [ed.] State University College at Buffalo Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam: North-Holland, 1970 Availability: Items available for loan: Castorina (1)Call number: 511.3 I61 1970 IMPA. Found in Open Library: Place hold Add to cart (remove)
	2.	No cover image available No cover image available No cover image available The foundations of intuitionistic mathematics, especially in relation to recursive functions/ [by] Stephen Cole Kleene [and] Richard Eugene Vesley. by Kleene, Stephen Cole, 1909-1994 Vesley, Richard Eugene, 1932- Series: Studies in logic and the foundations of mathematics Publication details: Amsterdam ; North-Holland, 1965 Availability: Items available for loan: Castorina (1)Call number: 511.3 K63f 1965 IMPA. Found in Open Library: Place hold Add to cart (remove)

Refine your search