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

書目詳細資料
Parent link:	Справочная книга по математической логике: в 4-х частях/ под ред. Дж. Барвайса. Ч. 4 : Теория доказательств и конструктивная математика.— , 1982-1983
總結:	Перевод изд.: Handbook of mathematical logic
語言:	俄语
出版:	1983
主題:	математика математическая логика доказательства конструктивная математика программа Гильберта теоремы Геделя кодирование полнота справочники
格式:	圖書
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=32709

MARC


LEADER	00000nam2a2200000 4500
001	32709
005	20231030205248.0
035			\|a (RuTPU)RU\TPU\book\33011
035			\|a BOOK00000008
090			\|a 32709
100			\|a 20011210d1983 km y0rusy50 ca
101	1		\|a rus \|c eng
102			\|a RU
105			\|a a g 001zy
200	0		\|a Ч. 4 : Теория доказательств и конструктивная математика
210			\|d 1983
215			\|a 391 с. \|c ил.
300			\|a Перевод изд.: Handbook of mathematical logic
320			\|a Предм. указ.: с. 383-388.
320			\|a Библиогр. в конце глав.
461		1	\|0 (RuTPU)RU\TPU\book\66279 \|t Справочная книга по математической логике \|o в 4-х частях \|o пер. с англ. \|f под ред. Дж. Барвайса \|v Ч. 4 : Теория доказательств и конструктивная математика \|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 20150908 \|g PSBO
942			\|c BK