Лекция 1. Исчисление с конечным числом аксиом и с правилом подстановки

  1. 00:16Введение
  2. 09:31Аксиомы исчисления
  3. 28:25Специфика правила подстановки
  4. 34:05Доказательство формулы А
  5. 35:27Теорема исчисления
  6. 48:16Вывод
  7. 01:03:16Вывод формулы В из множества допущения Г
  8. 01:06:08Пример
  9. 01:12:06Замечания