Математическая логика. Курс лекций. 3адачник практикум и решения. Серия "Учебники для вузов. Специальная литература " Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики. Учебник состоит из двух частей. Часть первая .Курс лекций по математической логике. включает в себя теоретический материал по paзделам: 1. Алгебра логики. 2. Исчисление высказываний. 3. Логика предикатов. 4. Математические теории. 5. Алгоритмы. Часть вторая. Задачник-практикум по математической логике. содержит набор упражнений почти по всем перечисленным разделам. Вторая часть пока недоступна :-( отсканировал mh_max (Создатель Русско-Узбекского переводчика TransliteUZ) - за что ему спасибо! подготовил и выложил - Nikello
