Exportar referência
APA
Fernando Ferreira, Laurentiu Leustean, Pedro Pinto, (2019). On the removal of weak compactness arguments in proof mining. Advances in Mathematics, 354, ISSN 0001-8708. eISSN . http://dx.doi.org/10.1016/j.aim.2019.106728
IEEE
Fernando Ferreira, Laurentiu Leustean, Pedro Pinto, "On the removal of weak compactness arguments in proof mining" in Advances in Mathematics, vol. 354, 2019.
10.1016/j.aim.2019.106728
BIBTEX
@article{44081,
author = {Fernando Ferreira and Laurentiu Leustean and Pedro Pinto},
title = {On the removal of weak compactness arguments in proof mining},
journal = {Advances in Mathematics},
year = 2019,
volume = 354
}