Подзоров С.Ю.


Подзоров С.Ю.
[1999]
Вычислимые классы конструктивизаций 2-конструктивизируемых моделей
Алгебра и логика, 38, № 6, 697–722
06.10.69
article

Вернуться к поиску