Автор:Бессонов А.В. Год: 2010 Издание: Страниц: [не указано] ISBN: 9785396001381 Настоящая монография посвящена анализу роли концепции предметной области в обосновании логического вывода. На основе критического рассмотрения стандартного метода обоснования вывода развиваются идеи подстановочной семантики языка кванторной логики. С...