Ч. 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

פריטים דומים