题名:
数理逻辑与机器证明
Shu Li Luo Ji Yu Ji Qi Zheng Ming / 陆钟万编著 ,
ISBN:
7- 价格： CNY1.15
语种:
chi
载体形态:
186页 32开
出版发行:
出版地： 出版社：
科学出版社
出版日期：
中图分类法:
O141 版次： 4
主要责任者:
陆钟万
编著
版次:
索书号:
O141/4