出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第1册马克思列宁主义、毛泽东思想,哲学》第332页（239字）
[英]威廉·涅尔等着。张家龙等译。商务印书馆1985年11月版。69．3万字。共12章：发端；亚里士多德的《工具论》；麦加拉学派和斯多噶学派；罗马和中世纪的逻辑；文艺复兴以后的逻辑；数学抽象；数、集合和数列；弗雷格的一般逻辑；弗雷格以后的形式发展；弗雷格以后的逻辑哲学；弗雷格以后的数理哲学；演绎系统理论。论述从古典形式逻辑到数理逻辑的发展，评述重要的逻辑哲学和数理哲学问题。中译本根据牛津大学克拉兰敦出版社1962年版译出。