Лекция 6. В.Б. Шехтман. Модальные логики предикатов и их модели.

Лекция 4. В.Б. Шехтман. Модальные логики предикатов и их модели.Подробнее

В. Б. Шехтман – Логики предикатов, лекция 6. Интерполяция и определимостьПодробнее

Лекция 9. В.Б. Шехтман. Модальные логики предикатов и их модели.Подробнее

Лекция 5. В.Б. Шехтман. Модальные логики предикатов и их модели.Подробнее

Лекция 8. В.Б. Шехтман. Модальные логики предикатов и их модели.Подробнее

Лекция 7. В.Б. Шехтман. Модальные логики предикатов и их модели.Подробнее

Лекция 1. В.Б. Шехтман. Модальные логики предикатов и их модели.Подробнее

Лекция 6. А.В. Кудинов. Сложность неклассических логик.Подробнее

Лекция 6 | Математическая логика и культура математических рассужденийПодробнее

В. Б. Шехтман – Логики предикатов, лекция 8. Модальная логика предикатовПодробнее

В. Б. Шехтман – Логики предикатов, лекция 7. Неразрешимость логики предикатовПодробнее

В. Б. Шехтман – Логики предикатов, лекция 12. ПучкиПодробнее

В. Б. Шехтман – Логики предикатов, лекция 9. Предикатные модели КрипкеПодробнее

Лекция 2. В.Б. Шехтман. Модальные логики предикатов и их модели.Подробнее

В. Б. Шехтман – Логики предикатов, лекция 1. Исчисление предикатовПодробнее

В. Б. Шехтман – Логики предикатов, лекция 11. Селективные подмоделиПодробнее

В. Б. Шехтман – Логики предикатов, лекция 5. Теорема Эрбрана и интерполяцияПодробнее