英国逻辑学家威廉·涅尔(William Kneale，1906－ )和玛莎·涅尔(Martha Kneale)合着。
中译本由张家龙等据牛津大学克拉兰敦出版社1962年版译出，商务印书馆1985年出版。涅尔曾任牛津厄克塞忒学院教授，长期从事逻辑学的教学和研究。《逻辑学的发展》他的代表作，也是当代有影响的西方逻辑史书，1962年出版。
全书12章：(1)发端，(2)亚里士多德的《工具论》，(3)麦加拉学派和斯多噶学派，(4)罗马和中世纪的逻辑，(5)文艺复兴以后的逻辑，(6)数学抽象，(7)数、集合和数列，(8)弗雷格的一般逻辑，(9)弗雷格以后的形式发展，(10)弗雷格以后的逻辑哲学，(11)弗雷格以后的数理哲学，(12)演绎系统理论。涅尔在这部书中以自己的研究成果，评述了从古典形式逻辑到现代数理逻辑的发展，对重要的逻辑哲学和数理哲学问题作了详尽的阐释，在叙述逻辑发生和发展的历史过程中，注意记录历史上首次出现而在现代逻辑科学中具有重要意义的概念。通过对逻辑在科学中的地位问题的分析考察，涅尔将逻辑科学定义为关于含蕴的纯理论，即关于含蕴原理的一般形式的理论，而不涉及在含蕴关系于其间成立的命题类中所包含的命题的特殊性质。
他认为，这样的定义使逻辑能同适于知识构成的其它主题在一起进行研究。