关注微信公众号查券更方便
现货 证明理论导论 An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Pr... [9780192895943]
[预订]An Introduction to Proof Theory 9780192895943
![现货 证明理论导论 An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Pr... [9780192895943]](/Public/skin2/static/tqkpc/images/grey.gif)