RUS
ENG
Full version
PEOPLE
Cavagnetto S
Publications in Math-Net.Ru
The Lengths of Proofs: Kreisel's conjecture and Gödel's speed-up theorem
Zap. Nauchn. Sem. POMI
,
358
(2008),
153–188
©
Steklov Math. Inst. of RAS
, 2024