Exportar referência
APA
Fernando Ferreira, (2020). The FAN principle and weak König's lemma in herbrandized second-order arithmetic. Annals of Pure and Applied Logic, 171, ISSN 0168-0072. eISSN . http://dx.doi.org/10.1016/j.apal.2020.102843
IEEE
Fernando Ferreira, "The FAN principle and weak König's lemma in herbrandized second-order arithmetic" in Annals of Pure and Applied Logic, vol. 171, 2020.
10.1016/j.apal.2020.102843
BIBTEX
@article{46550,
author = {Fernando Ferreira},
title = {The FAN principle and weak König's lemma in herbrandized second-order arithmetic},
journal = {Annals of Pure and Applied Logic},
year = 2020,
volume = 171
}