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

J2/22205
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 : 38.00 р. - Текст : непосредственный.
Библиогр.:с.233-236.Указ.:с.237-242

ГРНТИ	УДК
27.03.19	510

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

Кл.слова (ненормированные): математическая логика
Имеются экземпляры в отделах: всего 3 : ХР (1), (2)
Свободны: ХР (1), (2)
Копия:

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