• 题名: Foundations of Logic and Mathematics
    作者: Yves Nievergelt
    索书号: http://link.springer.com/openurl?genre=book&isbn=978-1-4612-6623-5

测试图片