• 题名: Outlines of a Formalist Philosophy of Mathematics
    作者: Haskell B. Curry
    索书号: http://www.sciencedirect.com/science/book/9780444533685

测试图片