西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

应用逻辑/(美) Anil Nerode, Richard A. Shore著 丁德成 ... [等] 译

出版发行项:

北京:机械工业出版社,2007

ISBN及定价:

978-7-111-21404-5/CNY38.00

载体形态项:

XIII, 284页:图;26cm

统一题名:

Logic for applications

丛编项:

计算机科学丛书

个人责任者:

尼罗德 (Nerode, Anil), 1932- 著

个人责任者:

肖尔 (Shore, Richard A.), 1946- 著

个人次要责任者:

丁德成 译

个人次要责任者:

徐亚涛 译

个人次要责任者:

吴永成 译

学科主题:

数理逻辑-高等学校-教材

中图法分类号:

O141

题名责任附注:

第二责任者还有：徐亚涛、吴永成、金陈园。

版本附注:

根据原书第2版译出

出版发行附注:

本书中文简体字版由Springer授权机械工业出版社独家出版。

责任者附注:

责任者Nerode汉译姓为：尼罗德; 责任者Shore规范汉译姓为：肖尔。

书目附注:

有书目 (第267-284页)

提要文摘附注:

本书是介绍数理逻辑的基础教材。

豆瓣简介：