安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

数理逻辑/(美) Herbert B. Enderton著 沈复兴, 陈磊, 孙运传译

出版发行项:

北京:人民邮电出版社,2007

ISBN及定价:

7-115-14311-2/CNY35.00

载体形态项:

240页:图;26cm

并列正题名:

Mathematical introduction to logic

丛编项:

图灵计算机科学丛书

个人责任者:

恩德滕, H. B. (Enderton, Herbert B.) 著

个人次要责任者:

沈复兴 译

个人次要责任者:

陈磊 译

个人次要责任者:

孙运传 译

学科主题:

数理逻辑-教材

中图法分类号:

O141

版本附注:

据原书第2版译出

出版发行附注:

本书简体中文版由Elsevier(Singapore)Pte Ltd.授权出版

书目附注:

有索引

提要文摘附注:

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

豆瓣简介：