|
题名:
|
公理学、元数学与哲学 gong li xue、 yuan shu xue yu zhe xue / 张家龙著 , |
|
ISBN:
|
价格： CNY0.34 |
|
语种:
|
chi |
|
载体形态:
|
125页 19cm |
|
出版发行:
|
出版地： 上海 出版社： 上海人民出版社 出版日期： 1983 |
|
内容提要:
|
本书讲述了公理学的发展，逻辑演算及其元理论，形式算术系统的不完全性和不可判定性。 |
|
主题词:
|
数学逻辑 |
|
中图分类法:
|
O141 版次： 4 |
|
主要责任者:
|
张家龙 zhang jia long 著 |
|
索书号:
|
O141/1323 |