Математическая логика и алгебра, Сборник статей

Bibliographic Details
Corporate Author:	Российская академия наук
Other Authors:	Адян С. И. (340)
Summary:	К 100-летию академика П. С. Новикова Несколько статей на англ. яз.
Language:	Russian English
Published:	Москва, Наука, 2003
Series:	Труды Математического института им. В. А. Стеклова Вып. 242
Subjects:	математика математическая логика алгебра доказательство алгоритмы интуиционизм вычисления булевы функции
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=59474

MARC


LEADER	00000nam0a2200000 4500
001	59474
005	20231031060310.0
010			\|a 5020326046
035			\|a (RuTPU)RU\TPU\book\62867
090			\|a 59474
100			\|a 20031229d2003 k y0rusy50 ca
101	0		\|a rus \|a eng
102			\|a RU
105			\|a с z 011zy
200	1		\|a Математическая логика и алгебра \|e Сборник статей \|f Российская академия наук; Под ред. С. И. Адяна
210			\|a Москва \|c Наука \|d 2003
215			\|a 207 с. \|c портр.
225	1		\|a Труды Математического института им. В. А. Стеклова \|v Вып. 242
300			\|a К 100-летию академика П. С. Новикова
300			\|a Несколько статей на англ. яз.
320			\|a Библиогр.: с. 135
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 \|v 3
675			\|a 512 \|v 3
702		1	\|a Адян \|b С. И. \|4 340
712	0	2	\|a Российская академия наук \|2 stltpush \|3 (RuTPU)RU\TPU\col\51
801		1	\|a RU \|b 63413507 \|c 20031229 \|g PSBO
801		2	\|a RU \|b 63413507 \|c 20040202 \|g PSBO
942			\|c BK