|
题名:
|
数理逻辑的思想和方法 / 昂 扬编著 , |
|
ISBN:
|
7-309-00668-2 价格： $2.50 |
|
语种:
|
chi |
|
载体形态:
|
230页 20厘米 |
|
出版发行:
|
出版地： 上海 出版社： 复旦大学出版社 出版日期： 1991.9 |
|
内容提要:
|
本书系统地讲解了数理逻辑的思想与方法,主要内容有:命题逻辑和量词逻辑,重言式公理系统和自然推理系统的构造等。 |
|
主题词:
|
数理逻辑 |
|
中图分类法:
|
O141 版次： 三版 |
|
主要责任者:
|
昂扬 编著 |
|
补充题名:
|
数理逻辑 思想 方法 |
|
科图分类法:
|
51.3 版次： |