• 题名: Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968
    作者: A. Kino, J. Myhill, R.E. Vesley
    索书号: http://www.sciencedirect.com/science/book/9780720422573
在架