[M]公理化集合论机器证明系统(精)/数学机械化丛书 郁文生//孙天宇//付尧顺 著 -9787030640390高清大图
1/1
92.16 前往购买

[M]公理化集合论机器证明系统(精)/数学机械化丛书 郁文生//孙天宇//付尧顺 著 -9787030640390

本书获得了众多专家的推荐或权威评价,许多业内人士和读者纷纷表示它是一部不可错过的佳作。

production