机读格式显示(MARC)
- 000 01134nam0 2200289 450
- 010 __ |a 978-7-5133-4769-3 |d CNY72.00
- 100 __ |a 20230208d2023 em y0chiy50 ea
- 200 1_ |a 逻辑迷宫 |9 luo ji mi gong |b 专著 |d Logical labyrinths |f (美)雷蒙德·M. 斯穆里安(Raymond M. Smullyan)著 |g 林田,黄闪闪译 |z eng
- 210 __ |a 北京 |c 新星出版社 |d 2023
- 330 __ |a 本书分为明智地概括、明智地符号化、无穷性、一阶逻辑的重要结论、公理系统、一阶逻辑深入六个部分,内容包括:说谎和讲真话的逻辑、沉默的骑士和无赖、统一化、命题逻辑初步、善变的说谎者、逻辑联结词和善变的说谎者、无穷的本质、数学归纳、开始公理化等。
- 510 1_ |a Logical labyrinths |z eng
- 606 0_ |a 数理逻辑 |9 Shu Li Luo Ji
- 701 _0 |c (美) |a 斯穆里安 |9 si mu li an |c (Smullyan, Raymond |f 1919~2017) |4 著
- 702 _0 |a 林田 |9 lin tian |4 译
- 702 _0 |a 黄闪闪 |c (女, |f 1986~) |9 huang shan shan |4 译
- 801 _0 |a CN |b GDPTC |c 20251215
- 905 __ |a GDPTC |d O141/14