Report copyright - Proof mining in ergodic theory - a survey · Ergodic Theory Analysis of Mean Ergodic Theorem Analysis of Szemeredi’s Theorem Proof Mining - Metatheorems Based on G¨odel’s (’Dialectica’)
Please pass captcha verification before submit form