《逻辑学的发展》

英国逻辑学家威廉·涅尔和他的夫人玛莎·涅尔合著的一部逻辑史书。这是当今世界上一部具有很大影响的逻辑史著作，初版由牛津大学克拉兰敦出版社于1962年出版，以后多次重印。商务印书馆于1985年出版了中译本。《逻辑学的发展》一书论述了古典形式逻辑和数理逻辑的历史发展，详述了在数理逻辑发展史上提出的重要逻辑哲学和数理哲学问题。全书共12章，围绕逻辑史上第一次出现的、在现代逻辑中具有重要意义的概念作了详尽的分析，主要内容有：亚里士多德以前的希腊逻辑，亚里士多德的《工具论》，麦加拉学派和斯多阿学派，罗马和中世纪的逻辑，文艺复兴以后的逻辑，数学抽象，数、集合和数列，弗雷格的逻辑，弗雷格以后的形式发展，弗雷格以后的逻辑哲学和数理哲学，以及演绎系统理论。