• 题名: A Transfinite Type Theory with Type Variables
    作者: P.B. Andrews
    索书号: http://www.sciencedirect.com/science/book/9780444534026
在架

测试图片