• 题名: Logic Symposia Hakone 1979, 1980
    作者: Gert H. Müller, Gaisi Takeuti, Tosiyuki Tugué
    索书号: http://link.springer.com/openurl?genre=book&isbn=978-3-540-11161-0
在架

测试图片