数理逻辑 : 基本原理与形式演算

PISBN:9787030200969
出版类型:专著
出版时间:2008-11-01
版次:1
作者:李未著
学科:数学
语种:中文
所属数据库:科学文库
相关推荐

数理逻辑 : 基本原理与形式演算|2版

  • 作者:李未著
  • PISBN:9787030401557
  • 出版时间:2014-03-01

数理逻辑

  • PISBN:0387908951

数理逻辑引论与归结原理

  • 作者:王国俊著
  • PISBN:7030115791
  • 出版时间:2003-09-01

数理逻辑引论与归结原理|2版

  • 作者:Guo-Jun Wang,Hong-Jun Zhou著
  • PISBN:9787030228994
  • 出版时间:2009-04-01

数理逻辑引论与归结原理|2版

  • 作者:王国俊著
  • PISBN:7030165837
  • 出版时间:2006-03-01

实物与暗物的数理逻辑

  • 作者:宋文淼,阴和俊,张晓娟著
  • PISBN:7030164229
  • 出版时间:2006-06-01