• 题名: Logic Colloquium '80 Papers intended for the European Summer Meeting of the Association for Symbolic Logic
    作者: D. Van Dalen, D. Lascar, T.J. Smiley
    索书号: http://www.sciencedirect.com/science/book/9780444864659
在架

测试图片