|
题名:
|
公理系统到底是什么 [ 专著] gong li xi tong dao di shi shi me / 张立英著 , 机机先生绘 |
|
ISBN:
|
978-7-5598-4181-0 价格： CNY20.00 |
|
语种:
|
chi |
|
载体形态:
|
30页 图 20cm |
|
出版发行:
|
出版地： 桂林 出版社： 广西师范大学出版社 出版日期： 2021 |
|
内容提要:
|
本书分为七部分，内容包括：“莱布尼茨之梦”“人工语言来啦！”“建构公理系统”“公理是如何选择的”“用公理系统寻宝”“公理系统自带的‘大彩蛋’“互动一刻”。 |
|
主题词:
|
逻辑学 |
|
中图分类法:
|
B81-49 版次： 5 |
|
主要责任者:
|
张立英 zhang li ying 著 |
|
次要责任者:
|
机机先生 ji ji xian sheng 绘 |