Бібліографічний опис:
Кондратенко, В. А. Создание единого стереотипа логической конструкции мышления для содержательного и формального доказательства теорем [Електронна копія] / Кондратенко В. А. — Электрон. текст. дан. (1 файл : 12,8 Мб). — Киев : ООО ”Алефа”, 2010 (Київ: НБУ ім. Ярослава Мудрого, 2021).

Оригінал друкованого документу зберігається в НБУ ім. Ярослава Мудрого: Кондратенко В. А. Создание единого стереотипа логической конструкции мышления для содержательного и формального доказательства теорем / Кондратенко В. А. – Киев : ООО «Алефа», 2010. – 267 с.