TY  - BOOK
AU  - Матиясевич, Ю.В.
TI  - Десятая проблема Гильберта
T2  - Математическая логика и основания математики
PY  - 1993///
CY  - М.
PB  - Физматлит
N2  - Библиогр.: с. 194-213
ER  -