User blog comment:Denis Maksudov/The extension of Buchholz's function/@comment-24920136-20170503033436/@comment-28606698-20170503175807

Thanks