|
题名:
|
数理逻辑引论 / 马光胜编著 , |
|
ISBN:
|
7-81007-746-5 价格： CNY8.00 |
|
语种:
|
chi |
|
载体形态:
|
177页 20cm |
|
出版发行:
|
出版地： 哈尔滨 出版社： 哈尔滨工程大学出版社 出版日期： 1997 |
|
内容提要:
|
本书主要介绍数理逻辑中命题演算和谓词演算的知识。 |
|
主题词:
|
数理逻辑 概论 |
|
中图分类法:
|
O141 版次： 4 |
|
主要责任者:
|
马光胜 编著 |