ISBN: 5-85582-026-2
Внешнее покрытие издания: в обл.
Тираж издания: 1000
Язык оригинала: англ.
Фамилия автора в заголовке: Правиц
Инициалы автора (личного имени (имен)): Д.
Код отношений (роль соавтора в издании): 070 Автор
Основное заглавие: Натуральный вывод
Сведения, относящиеся к заглавию: Теоретико-доказательственное исследование
Последующие сведения об ответственности: Пер. с англ. П. Быстрова
Место издания: М.
Издатель: ЛОРИ
Дата издания: 1997
Объем издания (количество страниц): 108
Высота, см.: 23
Полная форма имени (имен) и отчества: Даг
Индекс УДК: 51
Статус записи (Тип информации): В наличии
Артикул: 1044641
Аннотация:

Настоящая монография посвящена анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода. Книга не имеет аналогов области формализации логических доказательств. Издание содержит Библиографию, Предметный указатель, Индексы символов, Авторские поправки к тексту.

Читайте также: