Список литературы:

1. Л.М. Лихтарников, Т.Г. Сукачева Математическая логика/ Курс лекций/-СПб.: Издательство «Лань», 1998.

2. С.Д. Шапорев Математическая логика. Курс лекций и практических заданий.- СПб. БХВ- Петербург, 2005.

3. В.Ф. Пономарев Математическая логика. часть 1. Логика высказываний. Логика предикатов. Учебное пособие – Калининград: КГТУ, 2001, с.140