数理逻辑 第2版
Mathematical introduction to logic
丛 书 名:图灵计算机科学丛书
作 者:(美)Herbert B.Enderton 沈复兴 陈磊 孙运传译
I S B N:(纸本) 7115143110
出 版 社:人民邮电出版社
出 版 年:2007年
页 数:240页
主 题 词:数理逻辑
学科分类:01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学] 070101[理学-基础数学]
馆 藏 号:201185610...
摘 要:本书涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。