Рекурсивно перечислимые множества и сводимости табличного типа

Detalhes bibliográficos
Autor principal:	Дегтев А. Н. Александр Николаевич
Idioma:	russo
Publicado em:	Москва, Наука, 1998
Assuntos:	математическая логика рекурсивные функции множества алгебра
Formato:	Livro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=8925

MARC


LEADER	00000nam0a2200000 4500
001	8925
005	20231030182202.0
010			\|a 5020148431
035			\|a (RuTPU)RU\TPU\book\8975
035			\|a BOOK00009035
090			\|a 8925
100			\|a 20011209d1998 k y0rusy50 ca
101	0		\|a rus
102			\|a RU
105			\|a z 000zy
200	0		\|a Рекурсивно перечислимые множества и сводимости табличного типа \|f А. Н. Дегтев
210			\|a Москва \|c Наука \|d 1998
215			\|a 176 с.
610	1		\|a математическая логика
610	1		\|a рекурсивные функции
610	1		\|a множества
610	1		\|a алгебра
675			\|a 510.5 \|v 3
700		1	\|a Дегтев \|b А. Н. \|g Александр Николаевич
801		0	\|a RU \|b 63413507 \|c 20011209 \|g PSBO
801		2	\|a RU \|b 63413507 \|c 20070227 \|g PSBO
942			\|c BK