内容预览：

  • 书名：数理逻辑导引
  • 作者：
  • 格式：PDF
  • 时间：2024-07-17
  • 评分：
  • ISBN：9787500402039

内容简介：

主要讲述命题逻辑和一阶谓词逻辑。


著名逻辑学家

作者简介：