Formaľnoje i intuitivnoje v matematičeskom poznanii. - KARPUNIN, V.A (1983)