机读格式显示(MARC)

• 000 01307nam2 2200397 4500

• -01 __gzk0307346

• -09 __zyk0156732

• -98 __bm4

• -99 __tsg

• 001 0000156717

• 005 20070511145843.5

• 010 __ |a 7-111-19772-0 |d CNY49.00 |b

• 094 __ |a

• 100 __ |a 20060920e2006 em y0chiy0121 ba

• 101 __ |a eng

• 102 __ |a CN |b 110000

• 105 __ |a k a 001yy

• 106 __ |a r

• 200 1_ |a Logic for applications |d = 应用逻辑 |f (美) Anil Nerode, Richard A. Shore著 |z chi |e

• 205 __ |a 英文版

• 210 __ |a 北京 |c 机械工业出版社 |d 2006

• 215 __ |a 456页 |d 25cm

• 225 __ |a 经典原版书库 |A Jing Dian Yuan Ban Shu Ku

• 305 __ |a 据原书第2版译出

• 320 __ |a 有书目 (第409-438页) 和索引

• 330 __ |a 本书强调了演绎作为计算的一种形式的概念，书中大部分讨论的是其他主题，诸如消解定理证明、逻辑式程序设计和非经典逻辑，本书还系统介绍了集合论基础知识，并对该主题提供了历史综述。

• 333 __ |a 计算机科学和数学系高年级本科生以及低年级研究生。

• 410 __ |1 2001 |a 经典原版书库

• 510 __ |a 应用逻辑 |z chi

• 606 __ |a 数理逻辑 |A Shu Li Luo Ji |x 英文

• 690 __ |a O141 |v 4

• 701 __ |a 尼罗德, |A Ni Luo De |b A. |g (Nerode, Anil) |4 著

• 701 __ |a Shore, |b R. A. |g (Shore, Richard A.) |4 著

• 801 __ |a CN |b ATSU |c 20070511 |U 赵秋香

• 905 __ |a ASTU |d O141/14

• 915 __ |b 569211-3 |d O141 |e 14 |a