Лекция 10. Построение классического аксиоматического исчисления предикатов

  1. 00:16Классическое исчисление предикатов
  2. 15:37Правила вывода
  3. 19:34Понятие доказательства
  4. 29:32Выводы
  5. 38:11Понятие вывода из множества допущений
  6. 55:24Метатеоретические свойства