说数理逻辑这门学问“切实”,大家都信,因为数理逻辑在电子数字计算机方面有重大的应用,而且它也是被恩格斯称为“日用器具”的形式逻辑概念和方法的精密化和最新发展形态。但是过去往往被一部分人认为很简单而置诸脑后的形式逻辑,现在竟发展到如此复杂丰富的地步,它已蒙上了一层“艰深”的幕布。中文的入门书,六十年代就有,如我国著名数学家莫绍揆教授的《数理逻辑导论》。 The theory of mathematical logic, which is “practically”, is believed by all because the mathematical logic is of great use in electronic digital computers and it is also refined and up-to-date with the concepts and methods of formal logic, which Engels calls “household appliances” Development patterns. However, in the past, formal logic, which was often considered by some as a simple but in the end, has now reached such a complex and abundant stage that it has cast a “difficult” curtain. Chinese introductory book, there are sixty, there, such as our famous mathematician Professor Mo Shaoxu “Mathematical Logic.”