ISBN/价格: | 978-7-115-14311-2:CNY35.00 |
---|---|
作品语种: | chi eng |
出版国别: | CN 110000 |
题名责任者项: | 数理逻辑/.(美) Herbert B.Enderton著/.沈复兴,陈磊,孙运传译 |
出版发行项: | 北京:,人民邮电出版社:,2007 |
载体形态项: | 240页:;+图:;+26cm |
丛编项: | 图灵计算机科学丛书 |
提要文摘: | 书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容。 |
并列题名: | Mathematical introduction to logic eng |
题名主题: | 数理逻辑 教材 |
索书号: | O141/E30 |
中图分类: | O141 |
个人名称等同: | 恩德滕, H. B. 著 |
个人名称次要: | 沈复兴 译 |
个人名称次要: | 陈磊 译 |
个人名称次要: | 孙运传 译 |
记录来源: | CN JG 20070227 |
记录来源: | CN 20070410 |