60 元券预售Metamath印刷￥3450去看看中图上海图书音像店发布了【预售 按需印刷】 Metamath34 元券预售MathematicalMetamathComputer￥3990去看看中国国际图书专营店发布了【预售】Metamath: A Computer Language for Mathematical Proofs30 元券Metamath印刷￥3950去看看上海外文图书音像专营店发布了按需印刷Metamath10 元券数学MathematicalMetamathComputer￥4490去看看中华商务图书专营店发布了海外直订Metamath: A Computer Language for Mathematical Proofs 元数学：数学证明的计算机语言60 元券9780359702237MathematicalMetamathComputer￥4380去看看澜瑞图书专营店发布了【3-4周达】Metamath: A Computer Language for Mathematical Proofs [9780359702237]
![【3-4周达】Metamath: A Computer Language for Mathematical Proofs [9780359702237]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01eIjTLT28LaM0HHr8z_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
