TY  - BOOK
AU  - Гончаров, С. С.
AU  - Ершов, Ю. Л.
TI  - Конструктивные модели
T2  - Сибирская школа алгебры и логики
SN  - 5-88119-021-1
PY  - 1999///
CY  - Новосибирск
PB  - Науч. кн.
KW  - Модели в математической логике конструктивные
KW  - RU\NLR\auth\66670808
KW  - Конструктивные модели
KW  - RU\NLR\auth\661288447
KW  - В127.1
N2  - Библиогр.: с. 321-345 (393 назв.)
ER  -