Formaľnoje i intuitivnoje v matematičeskom poznanii - Karpunin, Valerij Andrejevič (Leningradskij universitet, 1983)