The Little Prover

  • 作者:DanielP.Friedman/CarlEastlund
  • 定价:USD38.00
  • ISBN:9780262527958
  • 出版社:TheMITPress
  • 出版时间:2015-7-10

一句话评价

暂时还没有人进行评论

0/50
回复

这本书还没有笔记,你会是第一个吗?