分類：書籍/雜誌/報紙 - 數學
領券：滿100元減5元
發貨地：北京
店鋪：麥德遜圖書專營店
特色：正版現貨 公理化集合論機器證明系統 數學機械化叢書 鬱文生 孫天宇 付堯順 科學出版社