TY  - 北京邮电大学学报
A1  - 孙天宇, 郁文生
T1  - 选择公理与Tukey引理等价性的机器证明
Y1  - 2019-11-25 00:00:00.0
JF  - 北京邮电大学学报
JO  - 北京邮电大学学报
SP  - 1
EP  - 7
VL  - 42
IS  - 5
UR  - {https://journal.bupt.edu.cn/CN/10.13190/j.jbupt.2019-001}
N1  - 10.13190/j.jbupt.2019-001
ER  -