TY  - BOOK
AU  - Гуц, А. К.
TI  - Математическая логика и теория алгоритмов
SN  - 978-5-9710-2629-7
PY  - 2016///
PY  - 2015///]
CY  - Москва
PB  - URSS, ЛЕНАНД
KW  - Алгоритмов теория
KW  - Учебные издания для высших учебных заведений
KW  - nlr-sh2
KW  - RU\NLR\auth\661349362
KW  - Математическая логика
KW  - RU\NLR\auth\6620994
KW  - В12я73-1
N2  - Библиогр.: с. 114-117 (59 назв.)
ER  -