TY  - BOOK
AU  - Самохин, А. В.
TI  - Математическая логика и теория алгоритмов
SN  - 5-86311-374-Х
PY  - 2003///
CY  - М.
PB  - МГТУ ГА
KW  - Математическая логика
KW  - Руководства, пособия и т.п. для высшей школы
KW  - nlr-sh1
KW  - RU\NLR\auth\6620994
KW  - Учебные издания для высших учебных заведений
KW  - nlr-sh2
KW  - Алгоритмы
KW  - Теория
KW  - RU\NLR\auth\6626972
KW  - Алгоритмов теория
KW  - RU\NLR\auth\661349362
KW  - В12я73-1
N2  - Библиогр.: с. 236 (6 назв.)
ER  -