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

Лекция 8. Теории первого порядка

  1. 04:11Аксиоматизация Клини
  2. 09:47Доказательство теоремы
  3. 32:09Исчисление предикатов
  4. 50:30Аксиоматизация формальной арифметики Дедекинда