← 返回

数理逻辑的思想和方法

著者昂扬编著
ISBN9787208187207
分类号O141 数学
学科理学
版次第1版
出版社上海人民出版社
丛书名日月光华·哲学书系(第五辑)(28)
出版年2024
价格¥98.00
页码258页
类型 📄 纸质书
核心评分8.2/10
读者对象—
主题词数理逻辑——研究
内容简介：本书共十章，内容包括：数理逻辑与人工语言、命题演算的思想和方法、命题演算系统、直觉主义逻辑的思想和方法、元逻辑的方法和意义、谓词演算的思想和方法、谓词演算系统、哥德尔不完全性定理等。
登录后可荐购