Вычислимые классы конструктивизаций 2-конструктивизируемых моделей
2003-4/2383 русский/Вычислимые классы конструктивизаций 2-конструктивизируемых моделей / С.Ю. Подзоров.Вычислимые классы конструктивизаций 2-конструктивизируемых моделей / С.Ю. Подзоров.Вычислимые классы конструктивизаций 2-конструктивизируемых моделей.Новосибирск/Б.и./, 1999 ( ). - Б.и., 1999. - 11 с. ; 20 см. - (Препринт / М-во общ. и проф. образования Рос. Федерации, НИИ дискрет. математики и информатики ; 44).Вычислимые классы конструктивизаций 2-конструктивизируемых моделей. Новосибирск, 1999 .
Библиогр.: с. 11 (2 назв.). Библиогр.: с. 11 (2 назв.).Модели в математической логике конструктивные/Конструктивные модели/В127.1/
Библиогр.: с. 11 (2 назв.). Библиогр.: с. 11 (2 назв.).Модели в математической логике конструктивные/Конструктивные модели/В127.1/