Book О Типах Интерпретируемости Регулярных Многообразий Алгебр 2006