适合人群:Academics, Mathematicians, Logic Enthusiasts, Philosophy of Science Students, Researchers in Computer Science (especially those interested in computational logic)
Proof Theory (Studies in Logic and the Foundations of Mathematics)分类索引数据信息
ISBN:9780444879431
出版日期:1987-04 适合人群:Academics, Mathematicians, Logic Enthusiasts, Philosophy of Science Students, Researchers in Computer Science (especially those interested in computational logic)