游客,欢迎访问首都图书馆! 注册 帮助中心 您的建议
数理逻辑
建议阅读终端:
暂无推荐
简介
本书脱胎于北京大学哲学系本科《数理逻辑》课程的讲义,针对初学逻辑的学生,介绍一阶逻辑的最基本的知识和技术,包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。
目录
展开 ∨
评论(0)
评分:
评价:
请输入评论信息
0/255 我要评论
最新上架