x 1.00
Скачать видео

Лекция 5. Гёделева нумерация

  1. 00:10Гёделева нумерация
  2. 11:30Определение термы и формулы
  3. 24:35Предикат доказательства
  4. 51:19Условия доказуемости
  5. 01:03:44Подстановки и параметры