TY  - BOOK
AU  - Герасимов, А. С.
TI  - Курс математической логики и теории вычислимости
SN  - 978-5-98709-164-7
PY  - 2009///
CY  - Санкт-Петербург
PB  - ЛЕМА
KW  - Математическая логика
KW  - Учебные издания для высших учебных заведений
KW  - nlr_sh2
KW  - RU\NLR\auth\6620994
KW  - Алгоритмов теория
KW  - RU\NLR\auth\661349362
KW  - В12я73-1
N2  - Библиогр.: с. 233-234 (54 назв.)
ER  -