TY - BOOK AU - Хусаинов, А. А. AU - Михайлова, Н. Н. TI - Математическая логика и теория алгоритмов SN - 5-7765-0549-6 PY - 2005/// CY - Комсомольск-на-Амуре PB - Комсом.-на-Амуре гос. техн. ун-т KW - Математическая логика KW - Учебные издания для высших учебных заведений KW - nlr_sh2 KW - RU\NLR\auth\6620994 KW - Алгоритмов теория KW - RU\NLR\auth\661349362 KW - Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Учебник для высшей школы KW - теория алгоритмов KW - В12я73-1 KW - rubbk N2 - Библиогр.: с. 95 (17 назв.); Предм. указ.: с. 91-94 ER -