On the computational content of convergence proofs via Banach limits

Autor: Kohlenbach, U., Leuştean, L.
Zdroj: Philosophical Transactions: Mathematical, Physical and Engineering Sciences, 2012 Jul . 370(1971), 3449-3463.
Databáze: JSTOR Journals