共 50 条
- [41] An Alternative Proof of Steinhaus's Theorem AMERICAN MATHEMATICAL MONTHLY, 2020, 127 (04): : 330 - 330
- [45] An intuitionistic proof of Kruskal’s theorem Archive for Mathematical Logic, 2004, 43 : 215 - 264
- [48] A proof of a generalization of Gaskin's theorem PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1940, 36 : 244 - 245