关注微信公众号查券更方便
英文原版 Fundamental Proof Methods in Computer Science The MIT Press 计算机科学中的基本证明方法 Konstantine Arkoudas精装