题名:
|
公理系统到底是什么 [ 专著] 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 绘 |