关注微信公众号查券更方便
按需印刷不退不换Metamath
【预售 按需印刷】 Metamath
【预售】Metamath: A Computer Language for Mathematical Proofs
海外直订Metamath: A Computer Language for Mathematical Proofs 元数学：数学证明的计算机语言
【3-4周达】精装 Metamath: A Computer Language for Mathematical Proofs [9780359702237]
![【3-4周达】精装 Metamath: A Computer Language for Mathematical Proofs [9780359702237]](/Public/skin2/static/tqkpc/images/grey.gif)
