Exportar referência
APA
Fernando Ferreira, (2021). On false Heine/Borel compactness principles in proof mining. Connecting with Computability, 199-203
IEEE
Fernando Ferreira, "On false Heine/Borel compactness principles in proof mining" in Connecting with Computability, , 2021, pp. 199-203,
doi: 10.1007/978-3-030-80049-9_18
BIBTEX
@InProceedings{52017,
author = {Fernando Ferreira},
title = {On false Heine/Borel compactness principles in proof mining},
booktitle = {Connecting with Computability},
year = 2021,
pages = {199-203},
address = {},
publisher = {Springer International Publishing}
}