Лавров, ИгорьАндреевич. Математическая логика : [учеб. пособие для вузов, обучающихся по техн. естеств.-науч. специальностям ] / И. А. Лавров ; под ред. Л. Л. Максимовой. - М. : Academia, 2006. - 239,[1] с. : ил. - (Серия "Прикладная математика и информатика") (Университетский учебник). - Библиогр.: с. 230. - ISBN 5-7695-2735-8 : Б. ц. р.
Лавров, ИгорьАндреевич. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. - Изд. 5-е, испр. - М. : Физматлит : Наука / Интерпериодика, 2006. - 255 с. - Библиогр.: с. 248-249. - Предм. указ.: с. 250-255. - ISBN 5-9221-0026-2 : Б. ц. р.