Математическая логика. Курс лекций. Задачник-практикум и решения
Лихтарников, Леонид Моисеевич, Сукачёва, Т. Г., Сукачева, Т. Г.
Математическая логика. Курс лекций. Задачник-практикум и решения, Текст, учебное пособие для вузов по математическим специальностям
Санкт-Петербург, Лань, 1998
286 с