Xiaoheng Yan - Vol. 40 Num. 1 (2020) | ||
Communication: Cardinals vs. ordinals: which come first? | 38-42 | |
Xiaoheng Yan - Vol. 41 Num. 3 (2021) | ||
Opening a discussion on teaching proof with automated theorem provers ABSTRACT | 42-46 |
for the learning of mathematics
Search Table of Contents