Your search returned 2 results.

Results
	1.	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 Recursive equivalence types/ by J. C. E. Dekker and J. Myhill. by Dekker, Jacob C. E, 1921- Myhill, John [joint author.] Series: University of California, Berkeley. University of California publications in mathematics ; new ser., v. 3, no. 3..University of California publications in mathematics ; new ser., v. 3, no. 3. Publication details: Berkeley: University of California Press, 1960 Availability: Items available for loan: Castorina (1)Call number: 511.3 D328r 1960 IMPA. Found in Open Library: Place hold Add to cart (remove)

Refine your search