• 题名: The Foundations of Intuitionistic Mathematics
    作者: Stephen Cole Kleene, Richard Eugene Vesley
    索书号: http://www.sciencedirect.com/science/book/9780444534040

测试图片