• 题名: An Algebraic Introduction to Mathematical Logic
    作者: Donald W. Barnes, John M. Mack
    索书号: http://link.springer.com/openurl?genre=book&isbn=978-1-4757-4491-0
在架