И. Л. Тимофеева Математическая логика. Курс лекций

Изд.: КДУ, 2007 г.

В данном пособии рассмотрены темы: исчисление высказываний, языки логики высказываний и предикатов, теория первого порядка, исчисление предикатов. В центре изучаемого материала - основы теории доказательств. Специальный раздел выделен для описания проблем, связанных с изучением оснований математики. Данный курс лекций используется также в виде учебного пособия для ВУЗов математической направленности.