• 题名: Selected Papers on Automath
    作者: R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer
    索书号: http://www.sciencedirect.com/science/book/9780444898227
在架

测试图片