Статья об исследованиях по математической логике и теории алгоритмов.