TY  - BOOK
AU  - Матиясевич,Юрий Владимирович
TI  - Десятая проблема Гильберта
T2  - Математическая логика и основания математики
SN  - 5-02-014326-X
PY  - 1993///
CY  - Москва
PB  - Наука
N1  - Библиогр. : с. 194-213; Указ. : с. 214-220
ER  -