• 题名: Logic and Computer Science
    作者: Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov
    索书号: http://link.springer.com/openurl?genre=book&isbn=978-3-540-52734-3
在架

测试图片