Каваньетто С

Публикации в базе данных Math-Net.Ru

1. The Lengths of Proofs: Kreisel's conjecture and Gödel's speed-up theorem
   
   Зап. научн. сем. ПОМИ, 358 (2008),  153–188