Новое доказательство теоремы Геделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементбчцезами Избранные темы и многое другое Для научных работников - специалистов по математической логике, алгебры, теоретическому программированию, информатике и смежным специальностям Книга доступна аспирантам и студентам университетов 2-е издание, исправленное и дополвжйбшненное Автор Юрий Ершов.