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