(1)
Хлебалин , А. В. Математическая практика и математическая логика: к истории взаимоотношений. RL 2021, 2, 93-99.