for the learning of mathematics |
Xiaoheng Yan - Vol. 40 Num. 1 (2020) | ||
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 |
|
|
|