• 题名: Computation and Proof Theory
    作者: Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas
    索书号: http://link.springer.com/openurl?genre=book&isbn=978-3-540-13901-0
在架

测试图片