Ч. 3 : Теория рекурсии; Справочная книга по математической логике

Detalles Bibliográficos
Parent link:	Справочная книга по математической логике: в 4-х частях/ под ред. Дж. Барвайса. Ч. 3 : Теория рекурсии.— , 1982-1983
Summary:	Перевод изд.: Handbook of mathematical logic
Idioma:	ruso
Publicado:	1982
Subjects:	математика математическая логика рекурсия проблемы разрешимые теории неразрешимость теория поля индуктивные определения справочники
Formato:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=32708

MARC


LEADER	00000nam2a2200000 4500
001	32708
005	20231030205248.0
035			\|a (RuTPU)RU\TPU\book\33010
035			\|a BOOK00000007
090			\|a 32708
100			\|a 20011210d1982 km y0rusy50 ca
101	1		\|a rus \|c eng
102			\|a RU
105			\|a y g 001zy
200	0		\|a Ч. 3 : Теория рекурсии
210			\|d 1982
215			\|a 362 с.
300			\|a Перевод изд.: Handbook of mathematical logic
320			\|a Предм. указ.: с. 354-359.
320			\|a Библиогр. в конце глав
461		1	\|0 (RuTPU)RU\TPU\book\66279 \|t Справочная книга по математической логике \|o в 4-х частях \|o пер. с англ. \|f под ред. Дж. Барвайса \|v Ч. 3 : Теория рекурсии \|d 1982-1983
610	1		\|a математика
610	1		\|a математическая логика
610	1		\|a рекурсия
610	1		\|a проблемы
610	1		\|a разрешимые теории
610	1		\|a неразрешимость
610	1		\|a теория поля
610	1		\|a индуктивные определения
610	1		\|a справочники
675			\|a 510.6(03) \|v 3
801		0	\|a RU \|b 63413507 \|c 20011210 \|g PSBO
801		2	\|a RU \|b 63413507 \|c 20210129 \|g PSBO
942			\|c BK