Publié le : 2000-09-14
Classification:
@article{1182353716,
author = {Kohlenbach, Ulrich},
title = {Review: Grigori Mints, Sergei Tupailo, Wilfried Buchholz, Epsilon Substitution Method for Elementary Analysis},
journal = {Bull. Symbolic Logic},
volume = {6},
number = {1},
year = {2000},
pages = { 356-357},
language = {en},
url = {http://dml.mathdoc.fr/item/1182353716}
}
Kohlenbach, Ulrich. Review: Grigori Mints, Sergei Tupailo, Wilfried Buchholz, Epsilon Substitution Method for Elementary Analysis. Bull. Symbolic Logic, Tome 6 (2000) no. 1, pp. 356-357. http://gdmltest.u-ga.fr/item/1182353716/