公理化集合论

公理集合论(Axiomatic Set Theory)是数理逻辑的主要分支之一,是用公理化方法重建(朴素)集合论的研究以...

2020.8


按出版社分类
按标签分类