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