П19
Паскевич А. Ю. Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти : автореф. дис. канд. фіз.-мат. наук : 01.05.01 "Теоретичні основи інформатики та кібернетики" / Паскевич Андрій Юрійович ; Київ. нац. ун-т ім. Тараса Шевченка. – Київ, 2005. – 20 с.