TY  - BOOK
AU  - Подзоров, С. Ю.
TI  - Вычислимые классы конструктивизаций 2-конструктивизируемых моделей
T2  - Препринт
VL  - 44
PY  - 1999///
CY  - Новосибирск
PB  - Б.и.
KW  - Модели в математической логике конструктивные
KW  - RU\NLR\auth\66670808
KW  - Конструктивные модели
KW  - RU\NLR\auth\661288447
KW  - В127.1
N2  - Библиогр.: с. 11 (2 назв.)
ER  -