机读格式显示(MARC)
- 000 01069nam0 2200277 450
- 010 __ |a 978-7-5133-4769-3 |d CNY72.00
- 100 __ |a 20230208d2023 em y0chiy0110 ea
- 200 1_ |a 逻辑迷宫 |A 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
- 701 _0 |c (美) |a 斯穆里安 |A si mu li an |c (Smullyan, Raymond M.) |4 著
- 702 _0 |a 林田 |A lin tian |4 译
- 702 _0 |a 黄闪闪 |A huang shan shan |4 译
- 801 _2 |a CN |b 58marc.cn |c 20230309