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

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

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

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

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Логика предикатовПодробнее

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

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Модальная логика 1Подробнее