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