TY - BOOK AU - Гамова TI - Математическая логика и теория алгоритмов SN - 5-292-02362-0 PY - 1999/// CY - Саратов PB - Изд-во Сарат. ун-та KW - Математическая логика KW - Руководства, пособия и т.п. для высшей школы KW - nlr-sh1 KW - RU\NLR\auth\6620994 KW - Учебные издания для высшей школы KW - nlr-sh2 KW - Алгоритмы KW - Теория KW - RU\NLR\auth\6626972 KW - [510.6+510.5](075.2) KW - 3 KW - rus KW - 27.03 KW - rugasnti KW - 22.12я73 KW - rubbk KW - В12я73-1 N2 - Библиогр.: с. 76 ER -