Metamath: a computer program language for pure mathematics

【文件属性】：

文件名称：Metamath: a computer program language for pure mathematics

文件大小：1.29MB

文件格式：PDF

更新时间：2014-07-07 02:49:47

computer programming language

A good book concernning metamath.