Формальное и интуитивное в математическом познании - Карпунин В. А. Валерий Андреевич (Ленинград, Изд-во ЛГУ, 1983)