Теория формальных систем/Смальян, Раймонд М.

 

QR-код документа

Оценок: 0

510 С 50
Смальян, Раймонд М.
    Теория формальных систем / Р. Смальян ; пер. с англ. Н. К. Косовского. - Москва : Наука, 1981. - 207 c. : ил. - (Математическая логика и основания математики). - Библиогр. : с. 202-204.

УДК
510.6

Кл.слова (ненормированные):
математика -- алгорифмы -- теория рекурсивных функций -- современная математика -- математическая логика -- математические исследования (XX век) -- Поста методы
Доп.точки доступа:
Косовский, Н. К. \пер.\

Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (2)

Авторизуйтесь для получения дополнительных услуг