Cover Image

Математическая логика: конспект лекций

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

Full description