Самара: Изд-во Самарского государственного университета, 2001 г.,
80 с.
Учебное пособие написано на основе курса лекций, читаемого автором в течение ряда лет студентам-математикам. В нем рассматриваются основные понятия и вопросы, относящиеся к элементарным разделам математической логики: логические функции, нормальные формы, исчисление высказываний, формальные теории. Изложение сопровождается примерами и иллюстрациями вводимых понятий и применяемых методов. Предназначено для студентов первого и второго курсов математических специальностей университетов, изучающих курсы дискретной математики и математической логики.
Учебное пособие написано на основе курса лекций, читаемого автором в течение ряда лет студентам-математикам. В нем рассматриваются основные понятия и вопросы, относящиеся к элементарным разделам математической логики: логические функции, нормальные формы, исчисление высказываний, формальные теории. Изложение сопровождается примерами и иллюстрациями вводимых понятий и применяемых методов. Предназначено для студентов первого и второго курсов математических специальностей университетов, изучающих курсы дискретной математики и математической логики.