А. В. Хлебалин, «Математическая практика и математическая логика: к истории взаимоотношений», RL, т. 2, вып. 4, сс. 93–99, ноя. 2021.