Тимофеева математическая логика

  • Тимофеева И.Л. Математическая логика. Курс лекций: Учеб. пособие для тудентов вузов / И. Л. Тимофеева. — 2-е изд., перераб. — М.: КДУ, 2007. — 304 с.
    Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории доказательств. Отдельный раздел посвящен проблемам оснований математики.