On the computational content of convergence proofs via Banach limits
U. Kohlenbach, L. Leustean
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370(1971), 3449–3463 (2012) .
2012-07-28
Full text: http://dx.doi.org/10.1098/rsta.2011.0329
Notice: Undefined index: publicationsCaching in /www/html/epistemio/application/controllers/PublicationController.php on line 2240
Share comment