Kohlenbach U. Applied proof theory: proof interpretations and their use in mathematics / U. Kohlenbach, 2008 r=on-line. - Текст : электронный.