Invalid size!GDI+ 中发生一般性错误。 书目详细信息
返回检索首页
正在加载图片，请稍后......

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

  • 附件:
  • 设置1:恩德特恩
  • 设置2:沈复兴
  • 设置3:本书涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。
    • 附注提要
    本书涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。
    目录
    暂无目录
    (0)|| (0)

    手机二维条形码

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