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

Sommerhalder, R. A resolution method for some systems of MODAL LOGIC : diss. / R.Sommerhalder. - Delft, 1992. - 173 p. : ill. - ISBN 90-9005125-2. - Текст : непосредственный.
Рез.гол.Библиогр.:с. 163-168.

ГРНТИ	УДК
27.03.19	510(043)
03.91

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

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

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

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