2. Рекурсия и редукция

00:00 Начало лекции 00:51 Теорема о неподвижной точке 27:31 Редексы и нормальная форма 53:36 Теорема Чёрча-Россера 01:04:20 Cтратегии редукции