TY  - BOOK
AU  - Гринченков, Д. В.
AU  - Потоцкий, С. И.
TI  - Математическая логика и теория алгоритмов для программистов
SN  - 5-88988-702-X
PY  - 2006///
CY  - Новочеркасск
PB  - Южно-Российский государственный технический университет
KW  - Математическая логика
KW  - Учебные издания для высших учебных заведений
KW  - nlr_sh2
KW  - RU\NLR\auth\6620994
KW  - Алгоритмов теория
KW  - RU\NLR\auth\661349362
KW  - В12я73-1
N2  - Библиогр.: с. 169-170 (21 назв.)
ER  -