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