《公理化集合論機器證明系統·數學機械化叢書》是2020年科學出版社出版的圖書。 基本介紹 中文名：公理化集合論機器證明系統·數學機械化叢書作者：郁文生出版時間：2020年出版社：科學出版社ISBN： 9787030640390
