• 题名: Mathematical Interpretation of Formal Systems
    作者: Th. Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, Hao Wang, L. Henkin, J. Los
    索书号: http://www.sciencedirect.com/science/book/9780444533814
在架