威尔金斯(Wilkins,R.A.),(美)比亚蒙特(Viamente,M.Jr.)编辑;吴恩惠主译1989 年出版340 页ISBN:7117006161
(美)穆斯格雷夫(Musgrave,R.A.),(美)穆斯格雷夫(Musgrave,P.B.)著;邓子基,邓力平编译1987 年出版606 页ISBN:4166·884
(美)尼罗德(Nerode,A.),(美)肖尔( Shore,R.A.)著;丁德成等译2007 年出版284 页ISBN:7111214048
本书是一本介绍数理逻辑的基础教材。