逻辑百科辞典

本书力图包括尽可能多的内容及各种不同的观点，并以简明易懂的方式提供准确的、系统的知识。它把逻辑定义为研究推理形式的科学，公理化方法、形式化方法本身也已成为逻辑的对象，这是与国际学术界接轨的。