В курсе излагаются основные разделы математической логики. Изучается логика высказываний и логика предикатов и соответствующиеим аксиоматические системы: исчисление высказываний и исчисление предикатов. Доказываются теоремы о непротиворечивости и полноте указанных исчислений
