Can I read 数理逻辑导论 on EtoBox?

数理逻辑导论 by 莫绍揆著 is a book available to read on EtoBox.

What is 数理逻辑导论 about?

1 (p0-1): 绪言 11 (p1): 第一篇 命题演算 12 (p1-2): 第一章 真值联结词 12 (p1-3): 1.命题及联结词 16 (p1-4): 2.指派与同真假性 22 (p1-5): 3.真值函数的作出 28 (p1-6): 4.联结词的归约 30 (p1-7): 5.真假指派的决定 35 (p1-8): 6.范式的化简 41 (p1-9): 7.同永真性与同可满足性 44 (p1-10): 第二章 命题演算的公理系统 44 (p1-11): 8.建立公理系统的必要性 48 (p1-12): 9.关于公理系统的一般注意 61 (p1-13): 10.命题演算永真公式的公理系统 68 (p1-14): 11.重要定理的推演 89 (p1-15): 12.推理定理与日常推理过程 98 (p1-16): 13.关于命题演算公理系统的讨论 103 (p1-17): 14.直觉系统逻辑的判定过程 109 (p1-18): 15.模态逻辑与多值逻辑 117 (p2): 第二篇 谓词演算 118 (p2-2): 第三章 量词与摹状词 118 (p2-3): 16.个体、谓词及函数 123 (p2-4): 17.变元 130 (p2-5): 18.量词 136 (p2-6): 19.摹状词 143 (p2-7): 20.自由与约束 147 (p2-8): 21.改名与代入 157 (p2-9): 22.个体域与指派 164 (p2-10): 23.同真假性 172 (p2-11): 24.永真性与可满足性 182 (p2-12): 25.同永真性与同可满足性 196 (p2-13): 第四章 狭义谓词演算永真公式的公理系统 196 (p2-14): 26.公理系统及若干注意 207 (p2-15): 27.重要定理的推演 230 (p2-16): 28.公理系统的另一表述 235 (p2-17): 29.推理定理和日常推理的讨论 243 (p2-18): 30.关于上述公理系统的讨论 248 (p2-19): 31.模态谓词演算与多值谓词演算 251 (p3): 第三篇 谓词演算(续) 252 (p3-2): 第五章 约束谓词演算 252 (p3-3): 32.有没有高级谓词及高级函数 264 (p3-4): 33.个体域、谓词域及主要指派 270 (p3-5): 34.同真假性 276 (p3-6): 35.次要永真公式的公理系统 284 (p3-7): 第六章 应用谓词演算 284 (p3-8): 36.应用谓词演算总论 291 (p3-9): 37.应用谓词演算与构造论逻辑 296 (p3-10): 38.同异性演算 303 (p3-11): 39.集合论演算 327 (p3-12): 第七章 全总谓词演算 327 (p3-13): 40.全总

Author

莫绍揆著

Publisher

上海:上海科学技术出版社

Published

1965

Language

ZH