Кузнецов С. Л. - Математическая логика - Параметрическая Δo-полнота

0:00:10 1. Доказуемая Σ1-полнота и параметрическая Δo-полнота 0:45:08 2. Теорема о неподвижной точке 1:06:10 План на следующую лекцию