Полное описание

Snyder, W. A proof theory for general unification / W.Snyder. - Boston, Ma [etc.] : Birkh@:auser, 1991. - 175 175 p. : ill. - (Progress in computer science and applied logic ; vol.11). - ISBN 0-8176-3593-9. - Текст : непосредственный.
Библиогр.:с.167-175

ГРНТИ	УДК
27.03.19	510
03.91

Рубрики:
Математическая логика

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/14082/11)

Шифр в сводном ЭК: e7af82e592b21bff062af1883f43087b

Заказать издание
Заказ фрагмента документа