咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >数理逻辑 第2版 收藏

数理逻辑 第2版

Mathematical introduction to logic

丛 书 名:图灵计算机科学丛书

作     者:(美)Herbert B.Enderton 沈复兴 陈磊 孙运传译 

I S B N:(纸本) 7115143110 

出 版 社:人民邮电出版社 

出 版 年:2007年

页      数:240页

主 题 词:数理逻辑 

学科分类:01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学] 070101[理学-基础数学] 

馆 藏 号:201185610...

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

实体馆藏
馆藏地名称 定位 索书号 条码号 文献状态
理学文献藏阅区 查看 O141/E046 010321589 可借
理学文献藏阅区 查看 O141/E046 010321588 可借
理学文献藏阅区 查看 O141/E046 010321590 可借
理学文献藏阅区 查看 O141/E046 010271483 可借
理学文献藏阅区 查看 O141/E046 010271481 可借
理学文献藏阅区 查看 O141/E046 010271479 可借
理学文献藏阅区 查看 O141/E046 010271480 可借
理学文献藏阅区 查看 O141/E046 010271482 可借

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分