Общая теория вычислимости (база статей и книг)

База создана для того, чтобы специалисты в различных областях теории вычислимости могли увидеть полную картину текущих исследований в различных направлениях теории алгоритмов. База содержит более 3 000 известных автору монографий и статей по теории рекурсии, степеням неразрешимости, элементарным теориям, обобщенным вычислениям и их приложениям.