Математическая логика и теория алгоритмов 7. Теорема о полноте исчисления высказываний

Математическая логика и теория алгоритмов 7. Приемы вывода формул в исчислении высказыванийПодробнее

Математическая логика и теория алгоритмов 8. Теорема о полноте и теорема о компактностиПодробнее

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

Математическая логика и теория алгоритмов 5. Критерий Поста. Исчисление высказыванийПодробнее

Матлогика 7. Полнота исчисления высказываний (продолжение). Непротиворечивость и совместность.Подробнее