Лекция 16. Прикладные первопорядковые теории
- 00:16Фундаментальный перевод
- 14:13Расширения логики предикатов
- 36:43Теории отношения эквивалентности
- 41:55Теории частичного порядка
- 47:00Теории строгого порядка
- 52:00Формальная арифметика
- 01:09:42Логика предикатов более высоких порядков