• 题名: Symbolic Logic and Mechanical Theorem Proving
    作者: Chang, Chin-Liang
    索书号: http://www.sciencedirect.com/science/book/9780080917283
在架

测试图片