数理逻辑/张清宇, 刘新文，夏素敏

附件:

设置1:张清宇

设置2:

设置3:本书介绍数理逻辑的基本内容，如经典一阶逻辑的句法、语义、逻辑演算以及刻画句法和语义之间的关系的完全性定理，初步的模型论内容，集合论初步知识，哥德尔第二部完全性定理以及所需的递归论内容，等等。

附注提要

本书介绍数理逻辑的基本内容，如经典一阶逻辑的句法、语义、逻辑演算以及刻画句法和语义之间的关系的完全性定理，初步的模型论内容，集合论初步知识，哥德尔第二部完全性定理以及所需的递归论内容，等等。

暂无目录

(0)|| (0)

手机二维条形码

馆藏信息

序号	索书号	码号定位	层架信息	馆藏地点	馆藏状态	借出日期	还回日期	卷册说明