Шлык В.А. Конспект лекций по математической логике (2 глава)

Конспект лекций по математической логике. - Минск, БГПУ им. М. Танка, 2004, 10 с.
Понятие формальной аксиоматической теории
Понятия формальной выводимости и формального доказательства
Определение формальной аксиоматической теории L логики высказываний
Теорема дедукции
Полнота исчисления высказываний
Непротиворечивость исчисления высказываний
Независимость системы аксиом теории L