• 题名: Algebra of Proofs
    作者: M.E. Szabo
    索书号: http://www.sciencedirect.com/science/book/9780720422863
在架

测试图片