Математическая логика

Книга знакомит читателя с основами современной математической логики и теории алгоритмов. В книге систематически изучаются такие важные разделы, как теории первого порядка, теория моделей, вычислимость, иерархии, формальная арифметика, аксиоматическая теория множеств. Имеются два приложения: одно алгебраическое - проблема тождества слов в группах, другое - изложение результатов, связанных с исследованиями континуум-гипотезы в аксиоматической теории множеств.