Математическая логика: учебное пособие для вузов по направлению подготовки магистров "Системный анализ и управление"