Can I read 数理逻辑 on EtoBox?

数理逻辑 by 国立编译馆主编;蒯英著;刘福增译 is a book available to read on EtoBox.

What is 数理逻辑 about?

1 (p1): 第一章 叙说 1 (p1-2): 1.连言、选言和否言 5 (p1-3): 2.如言 10 (p1-4): 3.重复组合 15 (p1-5): 4.用到与提到 20 (p1-6): 5.讲到叙说的叙说 29 (p1-7): 6.拟引号 34 (p1-8): 7.括号与点 39 (p1-9): 8.化归到三个始原连号 44 (p1-10): 9.化归到一个始原连词 49 (p1-11): 10.套套言 56 (p1-12): 11.套套形式选 65 (p2): 第二章 量辨 65 (p2-2): 12.量词(号) 73 (p2-3): 13.叙式 78 (p2-4): 14.约束,自由,闭包 83 (p2-5): 15.量辨设基 89 (p2-6): 16.定理 93 (p2-7): 17.後视定理 102 (p2-8): 18.双如言的代换 109 (p2-9): 19.存在量辨 113 (p2-10): 20.量号的分配 119 (p2-11): 21.字母变改 127 (p3): 第三章 词子 127 (p3-2): 22.类和分子 132 (p3-3): 23.逻辑叙式 137 (p3-4): 24.抽作 145 (p3-5): 25.等同 152 (p3-6): 26.再说抽作 159 (p3-7): 27.描述词和名称 167 (p4): 第四章 扩大的类理论 167 (p4-2): 28.阶层化 173 (p4-3): 29.其他分子关系设基 181 (p4-4): 30.等同代换 186 (p4-5): 31.变元代换 192 (p4-6): 32.其他後结 198 (p4-7): 33.逻辑积,和,余类 204 (p4-8): 34.包含 210 (p4-9): 35.单类 219 (p5): 第五章 关系 219 (p5-2): 36.对子和关系 226 (p5-3): 37.关系的抽作 234 (p5-4): 38.逆(关系),像,相对积 242 (p5-5): 39.祖宗(关系) 250 (p5-6): 40.函应 255 (p5-7): 41.函应的抽作 260 (p5-8): 42.当做关系的等同和分子关系 267 (p6): 第六章 数 267 (p6-2): 43.零,一,後元 273 (p6-3): 44.自然数 279 (p6-4): 45.计数集合 284 (p6-5): 46.有限和无限 288 (p6-6): 47.关系的巾 294 (p6-7): 48.算术和,积,巾 298 (p6-8): 49.常见的算术等同 303 (p6-9): 50.比数 308 (p6-10): 51.实数 314 (p6-11): 52.其他推广 321 (p7): 第七章 语法 321 (p7-2): 53.形式性 3

Author

国立编译馆主编;蒯英著;刘福增译

Publisher

幼狮文化事业公司

Published

1987

Language

ZH