Основания математики. Логические исчисления и формализация арифметики.

מידע ביבליוגרפי
מחבר ראשי:	Гильберт Д. Давид
מחברים אחרים:	Бернайс П. Пауль
שפה:	רוסית
יצא לאור:	Москва, Наука, 1982
סדרה:	Математическая логика и основания математики
נושאים:	математика арифметика формализация математическая логика разрешимость логические выводы предикаты исчисления рекурсивные определения
פורמט:	ספר
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=90313

פריטים דומים