Лихтарников Л. М. Математическая логика : курс лекций : задачник-практикум и решения : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - Изд. 4-е, стер.. - Санкт-Петербург [и др.] : Лань, 2009. - 1 онлайн-ресурс (276 с.): ил. - ( Учебники для вузов. Специальная литература ) . URL: http://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=231