%0 Journal Article %1 journals/bsl/FernandezDuqueW24 %A Fernández-Duque, David %A Weiermann, Andreas %D 2024 %J Bull. Symb. Log. %K dblp %N 1 %P 1-19 %T A Walk with Goodstein. %U http://dblp.uni-trier.de/db/journals/bsl/bsl30.html#FernandezDuqueW24 %V 30

@article{journals/bsl/FernandezDuqueW24, added-at = {2024-04-14T00:00:00.000+0200}, author = {Fernández-Duque, David and Weiermann, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/2653f1542fa10c82f774dda8553f09128/dblp}, ee = {https://doi.org/10.1017/bsl.2024.1}, interhash = {2dc9a2236859f68bb5f4e431fffd7ead}, intrahash = {653f1542fa10c82f774dda8553f09128}, journal = {Bull. Symb. Log.}, keywords = {dblp}, number = 1, pages = {1-19}, timestamp = {2024-04-15T07:02:24.000+0200}, title = {A Walk with Goodstein.}, url = {http://dblp.uni-trier.de/db/journals/bsl/bsl30.html#FernandezDuqueW24}, volume = 30, year = 2024 }