题名	责任者	出版社	索书号
数理逻辑基础.上	胡世华著	科学出版社	O141/1:1
数理逻辑引论	王宪钧著	北大出版社	O141/3