特伦布莱（Tremblay，J.P.），马诺哈（Manohar，R.）同著；罗远诠译1982 年出版436 页ISBN：13119·966
译自:Discretemathematioalstruotureswithapplicationstocomputerscince:本书是离散数学方面的一本引论性入门书
牛汉，邓九平主编1998 年出版507 页ISBN：7801274962
人类思想的先驱者，为了捍卫人类理性的尊严，高昂其头颅，在血泊中站立，他们的名子可能不闻于世，但他们的思想永存，他们用生命之光照亮后人前进的道路，让我闪牢记先驱者的精神遗训，人类思想的发展是不可阻挡的。...
（美）伍德沃德（D.O.Woodward），（美）伍德沃德（V.W.Woodward）同著；葛扣麟等译1983 年出版427 页ISBN：13119·1067
陈永明名师工作室著2009 年出版272 页ISBN：9787542848208
本书共分三篇：一，逻辑基础知识篇；二，“涉逻”习题篇；三，“涉逻”教学研究与课例篇。其特点为：一是打破了数学教育界的“数理逻辑无用论”的误区，把数理逻辑最基础的知识引进来。二是研究了数学特有的逻辑现象......
