现代逻辑学李树琦

  • 选择标签：其他
  • 出版时间： 1990-5
  • ISBN：9787500405368
  • 作者：赵文林
本书旨在建立一些采用人工符号而较数理逻辑更靠近日常思维习惯，但又不为自然语言的某些不确定性所限制的演算系统。
获取图书
点赞(0)