TY - BOOK AU - Замятин, А. П. TI - Математическая логика SN - 5-7996-0191-2 PY - 2004/// CY - Екатеринбург PB - Изд-во Уральского университета KW - Математическая логика KW - Руководства, пособия и т.п. для высшей школы KW - nlr_sh1 KW - RU\NLR\auth\6620994 KW - Учебные издания для высших учебных заведений KW - nlr_sh2 KW - В12я73-1 N2 - Библиогр. в конце кн ER -