1. 首页
  2. 编程语言
  3. 其他
  4. 语言证明和逻辑(Jon Barwise等)Language Proof and Logic (Jon Barwise et al)

语言证明和逻辑(Jon Barwise等)Language Proof and Logic (Jon Barwise et al)

上传者: 2020-06-12 14:33:27上传 PDF文件 2.54MB 热度 16次
本书以适用于逻辑第一和第二课程的方法覆盖了一阶语言,对哲学,计算机科学,数学和语言学的本科生特别有用。
用户评论