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

Mathematical logic and theoretical computer science / сост.ed. D. W. Kueker. - [S. l. : s. n.], 1987. - 384 мкф. : ill. - (Lecture notes in pure and appl. mathematics) (Lecture notes in pure and applied mathematics ; vol.106). - Текст : непосредственный.
Библиогр.в книге

ГРНТИ	УДК
50.07	510.285(086.2)

Рубрики:
Математическая логика -- Применение в вычислительной технике

Доп. точки доступа:
Kueker, D.W.\ed.\

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

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

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