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

Fitting, M. First-order logic and automated theorem proving / M.Fitting. - new york [etc.] : Springer, 1990. - XIII,242 p. p. : ill. - (Texts a. monogr. in computer science). - ISBN 0-387-97233-1. - Текст : непосредственный.
Библиогр.:с.233-236.Указ.:с.237-242

ГРНТИ	УДК
27.03.19	510

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

Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): J2/22205)

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

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