RUS
ENG
Full version
PEOPLE
Kohlenbach U
Publications in Math-Net.Ru
Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics
Trudy Mat. Inst. Steklova
,
242
(2003),
147–175
©
Steklov Math. Inst. of RAS
, 2024
