Лихтарников Л.М., Сукачева Т.Г. Математическая логика. Часть 2. Задачник-практикум и решения

Учебное пособие. — СПб.: Издательство "Лань", 1999. — 111 с. — (Серия "Учебники для вузов. Специальная литература"). — ISBN 5- 8114- 0082- 9. Архив содержит эту книгу, но только 2-ю часть из неё - Часть вторая: Задачник-практикум и решения (с подробными решениями) - (в 2-х форматах: PDF = 3,02 Mb & DjVu = 1,36 Mb). Это учебное пособие авторов "Математическая логика. Курс лекций и задачник- практикум" предназначено для студентов университетов и педагогических институтов, изучающих математическую логику, из которой удалена 1-я часть - Часть первая: Курс лекций (С.с.: 1-173) - Теория. Осталась только Часть вторая: Задачник-практикум и решения (С.с.: 174-288; в данном случае это С.с.: 1-111) - Ответы и решения (с очень хорошим качеством). Благодаря этому размер существенно уменьшился: от 288 с. до 111 с. Часть вторая "Задачник-практикум и решения по математической логике" содержит набор упражнений почти по всем перечисленным разделам (с подробными решениями). "В зависимости от содержания программ курса математической логики на конкретных специальностях, отдельные разделы пособия могут быть исключены из рассмотрения (например, исчисление высказываний, математические теории), а из других разделов использовано лишь часть материала.
Учитывая, что в отдельных случаях студентам требуется лишь "Задачник-практикум", в каждом ero разделе приводится минимум теоретических сведений необходимых для решения предлагаемых задач". Исходя из вышеприведённых допущений авторов, а также учитывая огромную потребность студентов в мини-книгах по математической логике (тем более с подробными решениями задач), и была сделана 2-я часть этой книги авторов. Благодаря отличному качеству и очень маленькому размеру, книга может поместиться даже на мобильный телефон.
В конечном итоге это послужит к ещё более глубокому интересу изучению основ математической логики, что и ставили своей целью авторы данной книги.