伯特伦·费尔根豪尔 📧
2020年2月21日
2024年5月6日星期一17:45:35+0200
伊莎贝尔/9电子88c17a723e
甲胎蛋白/65f70952d452
古德施泰因_λ-AFP
@文章{Goodstein_Lambda-AFP,author={Bertram Felgenhauer},title={在λ-微积分中实现Goodstein函数},journal={正式证据存档},月={2月},年份={2020年},注释={\url{https://isa-afp.org/entries/Goodstein_Lambda.html},形式证明开发},ISSN={2150-914x},}
旧版本: