RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Kohlenbach Ulrich
Публикации в базе данных Math-Net.Ru
Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics
Труды МИАН
,
242
(2003),
147–175
©
МИАН
, 2024
