Настоящая книга представляет собой систематическое изложение ряда разделов с о ­ временной математической логики и теории алгоритмов. Написана она в целью использования ее в преподавании как в качестве учебника по математической логике для университетов, так и в качестве учебного пособия при чтении спецкурсов.Многолетний опыт чтения старшим из авторов курса математической логики на математическом факультете НГУ, на основе которого написаны главы 1- 4, показывает, что указанные выше возможности вполне реализуются. Э то оправдывает использование такого способа изложения наряду с традиционными. Более подробны е сведения о содержании книги можно получить из ее оглавления.