Metamath: a computer program language for pure mathematics

所需积分/C币:11 2011-06-17 09:03:07 1.29MB APPLICATION/PDF
收藏 收藏
举报

A good book concernning metamath.

...展开详情
试读 127P Metamath: a computer program language for pure mathematics
立即下载 低至0.43元/次 身份认证VIP会员低至7折
    抢沙发
    一个资源只可评论一次,评论内容不能少于5个字
    • 签到新秀

      累计签到获取,不积跬步,无以至千里,继续坚持!
    关注 私信 TA的资源
    上传资源赚积分,得勋章
    最新推荐
    Metamath: a computer program language for pure mathematics 11积分/C币 立即下载
    1/127
    Metamath: a computer program language for pure mathematics第1页
    Metamath: a computer program language for pure mathematics第2页
    Metamath: a computer program language for pure mathematics第3页
    Metamath: a computer program language for pure mathematics第4页
    Metamath: a computer program language for pure mathematics第5页
    Metamath: a computer program language for pure mathematics第6页
    Metamath: a computer program language for pure mathematics第7页
    Metamath: a computer program language for pure mathematics第8页
    Metamath: a computer program language for pure mathematics第9页
    Metamath: a computer program language for pure mathematics第10页
    Metamath: a computer program language for pure mathematics第11页
    Metamath: a computer program language for pure mathematics第12页
    Metamath: a computer program language for pure mathematics第13页
    Metamath: a computer program language for pure mathematics第14页
    Metamath: a computer program language for pure mathematics第15页
    Metamath: a computer program language for pure mathematics第16页
    Metamath: a computer program language for pure mathematics第17页
    Metamath: a computer program language for pure mathematics第18页
    Metamath: a computer program language for pure mathematics第19页
    Metamath: a computer program language for pure mathematics第20页

    试读已结束,剩余107页未读...

    11积分/C币 立即下载 >