Труды научно-исследовательского семинара логического центра ИФ РАН. Выпуск 10
Автор: [автор не указан] Год: 1994 Издание: [не указанo] Страниц: [не указано] ISBN: 5201018572 Статьи сборника написаны на основе докладов, сделанных на семинаре в 1993 году. Главное внимание уделяется семантическому и синтаксическому анализу известных и нестандартных исчислений релевантной и четырехзначной логики.