Journal of Beijing University of Posts and Telecommunications

  • EI核心期刊
A Mechanized Proof of Equivalence Between the Axiom of Choice and Tukey’s Lemma
SUN Tian-yu, YU Wen-sheng
JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM . 2019, (5): 1 -7 .  DOI: 10.13190/j.jbupt.2019-001

Copyright © 2018 Journal of Beijing University of Posts and Telecommunications 京ICP备14033833号

Adress: BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS    Post Code: 100876    Tel: (010)62281995    QQ: 307514248    weibo    Message    E-mail: byxb@bupt.edu.cn