@article{孙天宇:1,
author = {[孙天宇, 郁文生]},
title = {选择公理与Tukey引理等价性的机器证明},
publisher = {北京邮电大学学报},
year = {2019},
journal = {北京邮电大学学报},
volume = {42},
number = {5},
eid = {1},
pages = {1-7},
keywords = {机器证明;形式化数学;选择公理;Tukey引理},
doi = https://journal.bupt.edu.cn/CN/10.13190/j.jbupt.2019-001
}