илогістичної і індуктивної. СПб., 2004.
. Петров В. В., Переверзєв В. Н. Обробка мови і логіка предикатів. Новосибірськ, 2003.
. Поппер К. Логіка та зріст наукового знання. М., 2003.
4. Светілін А. Е. Підручник формальної логіки. СПб., 2005.
5. Тарський А. Введення в логіку і методологію дедуктивних наук. М .. +2002.
. Фреге Г. Думка: Логічне дослідження//Філософія. Логіка. Мова. М., 2005.
. Гільберт Д., Аккерман В. Основи теоретичної логіки. М., 2 000.
