‘Теория доказательств’

Жесткая иерархия Иерархия Харди Иерархия наборов числовых функций, сгенерированных из семейства функций ha: N → N.   Введена Стэнли С. Вейнером […]