• 题名: A Programming Approach to Computability
    作者: A. J. Kfoury, Robert N. Moll, Michael A. Arbib
    索书号: http://link.springer.com/openurl?genre=book&isbn=978-1-4612-5751-6
在架