(美)考 利(Cowley,R.A.),(美)邓纳姆(Dunham,C.M.)著;蔡汝宾等编译1989 年出版537 页ISBN:7221007357
(美)常(Chang,T.C.),(美)怀斯克(Wysk,R.A.)著;黄乃康等译1988 年出版163 页ISBN:7561200498
(美)穆斯格雷夫(Musgrave,R.A.),(美)穆斯格雷夫(Musgrave,P.B.)著;邓子基,邓力平编译1987 年出版606 页ISBN:4166·884
(美)尼罗德(Nerode,A.),(美)肖尔( Shore,R.A.)著;丁德成等译2007 年出版284 页ISBN:7111214048
本书是一本介绍数理逻辑的基础教材。