|
题名:
|
数理逻辑 / 李小五编著 , |
|
ISBN:
|
7-306-02588-0 价格： CNY35.00 |
|
语种:
|
chi |
|
载体形态:
|
263页 20cm |
|
出版发行:
|
出版地： 广州 出版社： 中山大学出版社 出版日期： 2005 |
|
内容提要:
|
数理逻辑分两大部分: 句子逻辑和量化逻辑。本讲义介绍句子逻辑的基本内容和量化逻辑的基础 — 一阶逻辑的基本内容。 |
|
主题词:
|
数理逻辑 研究 |
|
中图分类法:
|
O141 版次： 4 |
|
其它题名:
|
现代逻辑学讲义 |
|
主要责任者:
|
李小五 编著 |
|
责任者附注:
|
李小五, 男, 1955年1月生于浙江湖州。1980-1984年在北京大学哲学系念哲学本科。1989年获硕士学位。著有《现代归纳逻辑与概率逻辑》《无穷逻辑》等。现任中山大学教授和博士生导师等职。 |