1 citations to https://www.mathnet.ru/rus/apal5

1. David Fernández-Duque, Andreas Weiermann, “A Walk with Goodstein and Ackermann”, Notre Dame J. Formal Logic, 65:2 (2024)