机读格式显示(MARC)

• 000 00936nam0 2200253 450

• 001 0000193365

• 005 20230604163700.0

• 010 __ |a 978-7-5133-4769-3 |d CNY72.00

• 100 __ |a 20230604d ekmy0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 逻辑迷宫 |A Luo Ji Mi Gong |f f (美)雷蒙德·M. 斯穆里安著 |g 林田，黄闪闪译

• 210 __ |a 北京 |c 新星出版社 |d 2023.01

• 215 __ |a 416页 |d 23cm

• 330 __ |a 本书分为明智地概括、明智地符号化、无穷性、一阶逻辑的重要结论、公理系统、一阶逻辑深入六个部分，内容包括：说谎和讲真话的逻辑、沉默的骑士和无赖、统一化、命题逻辑初步、善变的说谎者、逻辑联结词和善变的说谎者、无穷的本质、数学归纳、开始公理化等。

• 606 __ |a 数理逻辑 |A Shuo Li Luo Ji

• 690 __ |a O14 |v 5

• 701 _1 |a 斯穆里安 |A Si Mu Li An |4 著

• 702 _0 |a 林田 |A Lin Tian |4 译

• 702 _0 |a 黄闪闪 |A Huang Shan Shan |4 译

• 801 _0 |a CN |b 上海新华 |c 20230604

• 905 __ |a AHLSL |d O14/9