Конспект лекций по математической логике

Глава I. Теория множеств

Глава II. Алгебра высказываний

Глава III. Исчисление высказываний

Глава IV. Логика предикатов

Глава V. Исчисление предикатов

Глава VI. Теория алгоритмов

Глава VII. Теория моделей

Приложение A. Язык логического программирования PROLOG