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

Dades bibliogràfiques
Autor principal:	Драгалин А. Г. Альберт Григорьевич
Idioma:	rus
Publicat:	Москва, Едиториал УРСС, 2003
Matèries:	Драгалин > А. Г. > математик, логик-конструктивист > Альберт Григорьевич > 1941-1998 математика математическая логика математический интуиционизм философия арифметика алгебраические модели доказательства нестандартный анализ множества аксиоматическая теория антиномия
Format:	Llibre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=58788

Descripció
Descripció física:	544 с. ил.
ISBN:	5354003873

Ítems similars