Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo N.Y. 1968 - Kino, Akiko (Nort-Holland Publishing Company, 1970)
Puna imena urednika: Akiko Kino, John Myhill, Richard Vesley