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 |
Externí odkaz: |