Тимофеева И.Л. Математическая логика

Курс лекций. — М.: КДУ, 2007. — 304 с. — ISBN 978-5-98227-307-9.Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории доказательств. Отдельный раздел посвящен проблемам оснований математики.