^aЗ973-018.210 Лялецький, О. О. Київ. нац. ун-т ім. Т.Шевченка. Неперервність функції в інтенсіональних моделях лямбда-подібних числень [Текст] : автореф. дис... канд. фіз.-мат. наук / О.О. Лялецький. - К. : [б. и.], 2009. - 16 с.. - Б. ц. Содержание: