TY  - BOOK
AU  - Ершов, Ю.Л.
TI  - Проблемы разрешимости и конструктивные модели
T2  - Математическая логика и основания математики
PY  - 1980///
CY  - М.
PB  - Наука
KW  - Конструктивные модели
KW  - RU\NLR\AUTH\661288447
KW  - В122
KW  - В127.1
N2  - Библиогр.: с. 397-409 (259 назв.); Указ. обозначений, предм.: с. 410-415
ER  -