李娜著2012 年出版326 页ISBN：9787310040308
本书共分6章。第一章介绍了运算的基本思想与方法；第二章至第四章介绍了命题逻辑的思想和方法；第五六章介绍了狭谓词逻辑的基本思想与方法。...
金雁飞，唐俊翟，张曜编著2004 年出版258 页ISBN：7502436057
本书系统介绍了数字电子电路的基础知识和基础理论，包括数字代数基础、逻辑门电路、组合逻辑电路、触发器、时序逻辑电路、脉冲波形的产生和整形电路、大规模集成电路以及数模和模数转换等。...
黄华新等著2019 年出版290 页ISBN：9787308179270
本书主要利用现代逻辑、现代语言学、心理学、人工智能等学科交叉的优势，基于现代逻辑的理论和方法，注重逻辑、语言与认知的深度结合，从如下四大方向入手探讨“信息交互中的主体认知”。包括自然语言的逻辑刻画...
（英）约翰·麦奎利（John Macquarrie）著；安庆国译1997 年出版255 页ISBN：7220038909
本书论述了当代神学面临的语言问题，考察了神学的语言与逻辑。
