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

Podrobná bibliografie
Hlavní autor:	Драгалин А. Г. Альберт Григорьевич
Jazyk:	ruština
Vydáno:	Москва, Едиториал УРСС, 2003
Témata:	Драгалин > А. Г. > математик, логик-конструктивист > Альберт Григорьевич > 1941-1998 математика математическая логика математический интуиционизм философия арифметика алгебраические модели доказательства нестандартный анализ множества аксиоматическая теория антиномия
Médium:	Kniha
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=58788

Podobné jednotky