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

Учеб. пособие. - СПб.: Издательство "Лань". 1999, - 288 с., - (Серия "Учебники для вузов. Специальная литература"). - ISBN: 5- 8114- 0082- 9, Русский.Настоящее учебное пособие "Математическая логика. Курс лекций и задачник-практикум" предназначено для студентов университетов и педагогических институтов изучающих математическую логику.Книга "Математическая логика" содержит две части:
Курс лекций (С.с.: 1-173) - Теория.
Задачник-практикум и решения (С.с.: 174-288) - Ответы и решения."Курс лекций по математической логике" включает в себя теоретический материал по разделам:
Алгебра логики.
Исчисление высказываний.
Логика предикатов.
Математические теории.
Алгоритмы."Задачник-практикум по математической логике" содержит набор упражнений почти по всем перечисленным разделам (с подробными решениями).В зависимости от содержания программ курса математической логики на конкретных специальностях, отдельные разделы пособия могут быть исключены из рассмотрения (например, исчисление высказываний, математические теории), а из других разделов использовано лишь часть материала.Учитывая, что в отдельных случаях студентам требуется лишь "Задачник-практикум", в каждом ero разделе приводится минимум теоретических сведений необходимых для решения предлагаемых задач.