Лекция 2. С.Л. Кузнецов. Теорема о неподвижной точке. Представимость примитивно-рекурсивных функц…