HEA|  |00773nam0 2200109   450 
010|  |▼a7 5611 4033 8
200|  |▼a数理逻辑引论▼f朱梧槚  肖奚安
210|  |▼c大连理工大学出版社▼d2023.01.01
330|  |▼a本书的主要内容是讨论经典二值逻辑演算系统的语形和研义研究-
   |  |。全书共分为5章，其中第1章和第3章主要是从数学模型和数学背-
   |  |景的角度去讨论命题逻辑与谓词逻辑的涵义和与构造。第2章与第4-
   |  |章则主要是从形式系统的构造与展开的角度去分别研究命题逻辑与谓-
   |  |词逻辑的基本内容。第5章
606|  |▼a数理科学和化学＞数学＞数理逻辑、数学基础＞数理逻辑（符号-
   |  |逻辑）
690|  |▼aO141
856|  |▼uhttp://10.70.7.7:8080/readOp-
   |  |enBook/156225▼z中文在线电子图书