数理逻辑

数理逻辑，数理逻辑,shuli luoji，数理逻辑,shuli,luoji，[拼音]：shuli luoji[外文]：mathematical logic又称符号逻辑、理论逻辑或逻辑斯蒂，数学的一个分支，用数学方法研究的逻辑或形式逻辑。由D.希尔伯特与W.阿克曼合著的20世纪第一本著名的数理逻辑读本称数理逻辑为理论逻辑。所谓数学方法就是...