TY  - BOOK
ED  - Институт математики (Новосибирск)
TI  - Математическая логика и теория алгоритмов
T2  - Труды Института математики СО РАН
SN  - 5861340048
PY  - 1993///
CY  - Новосибирск
PB  - Издательство института математики СО РАН
KW  - математическая логика
KW  - теория алгоритмов
KW  - однородные модели
KW  - счетно насыщенные модели
KW  - булевы алгебры
KW  - абелевы p-группы
N1  - Библиогр. в конце ст
ER  -