题名:	数理逻辑与机器证明 shu li luo ji yu ji qi zheng ming / 陆钟万著 ,
ISBN:	价格：￥1.15
语种:	chi
载体形态:	186页 21cm
出版发行:	出版地：北京出版社：科学出版社出版日期： 1983
主题词:	数理逻辑
主题词:	机器证明
中图分类法:	O141 版次： 3
主要责任者:	陆钟万 lu zhong wan 著
索书号:	O141/7770