TY  - BOOK
AU  - Гринченков, Д. В.
AU  - Потоцкий, С. И.
TI  - Математическая логика и теория алгоритмов для программистов
SN  - 978-5-406-00120-2
PY  - 2010///
CY  - Москва
PB  - КноРус
KW  - Математическая логика
KW  - Учебные издания для высших учебных заведений
KW  - nlr_sh2
KW  - RU\NLR\auth\6620994
KW  - Алгоритмов теория
KW  - RU\NLR\auth\661349362
KW  - В12я73-1
KW  - rubbk
KW  - 0110
KW  - Основания математики. Теория чисел. Математическая логика
KW  - TCC-BG
N2  - Библиогр.: с. 205-206
ER  -