Литература

1. Латотин Л.А., Макаренков Ю.А., Николаева В.В., Столяр А.А. Математическая логика. – Минск: «Вышейшая школа». 1991

2. Лихтарников Л.М., Сукачева Т.Г. Математическая логика. Курс лекций. Задачник-практикум и решения. – СПб.: 1999.

3. Игошин В.И. Задачник-практикум по математической логике. – М.: Просвящение,1986.