数理逻辑/(美)恩德特恩(Enderton, H.B.), (电子)沈复兴, (计算机)陈磊, 孙运传

附件:

设置1:

设置2:沈复兴

设置3:

设置4:本书涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。

附注提要

本书涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。

暂无目录

(0)|| (0)

手机二维条形码

馆藏信息