Конструктивная теория доказательств и нестандартный анализ

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Драгалин А. Г. Альберт Григорьевич
اللغة:	الروسية
منشور في:	Москва, Едиториал УРСС, 2003
الموضوعات:	Драгалин > А. Г. > математик, логик-конструктивист > Альберт Григорьевич > 1941-1998 математика математическая логика математический интуиционизм философия арифметика алгебраические модели доказательства нестандартный анализ множества аксиоматическая теория антиномия
التنسيق:	كتاب
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=58788

الوصف
وصف مادي:	544 с. ил.
ردمك:	5354003873

مواد مشابهة