|
题名:
|
面向计算机科学的数理逻辑 / 陆钟万著 , |
|
ISBN:
|
7-03-009657-6 价格： CNY19.00 |
|
语种:
|
chi |
|
载体形态:
|
263页 18cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2005.1 |
|
主题词:
|
数理逻辑 |
|
中图分类法:
|
O141 版次： 4 |
|
主要责任者:
|
陆钟万 著 |
|
版次:
|
第2版 |