Плиско В. Е. Математическая логика. Курс лекций. - 2004. - 86 с.
Потребность в такой науке возникла в математике в конце XIX - начале XX веков. К концу XIX века в работах Коши, Больцано, Вейерштрасса, Кантора, Дедекинда и др. была завершена так называемая арифметизация математического анализа. На место туманной геометрической интуиции пришло точное определение действительного числа как объекта, полученного некоторой теоретико-множественной конструкцией из натуральных, целых и рациональных чисел, так что свойства действительных чисел в конечном счете сводились к свойствам натуральных чисел. В то же время Фреге развил теорию натуральных чисел в рамках канторовской теории множеств. Таким образом, математический анализ и все основанные на нем разделы математики были сведены к теории множеств и, казалось, получили единое и прочное обоснование. Неудивительно поэтому, что обнаружение противоречий в теории множеств явилось драматическим событием в истории математики.
Содержание
1. Предмет математической логики
2. Логика высказываний
3. Алгебра логики
4. Исчисление высказываний
5. Логика предикатов
6. Исчисление предикатов
7. Метод резолюций
8. Интуиционистская логика
