Exportar referência
APA
Fernando Ferreira, (2020). Weak König’s lemma in herbrandized classical second-order arithmetic. Portugaliae Mathematica, 77, 399-408. ISSN 0032-5155. eISSN . http://dx.doi.org/10.4171/pm/2056
IEEE
Fernando Ferreira, "Weak König’s lemma in herbrandized classical second-order arithmetic" in Portugaliae Mathematica, vol. 77, pp. 399-408, 2020.
10.4171/pm/2056
BIBTEX
@article{47303,
author = {Fernando Ferreira},
title = {Weak König’s lemma in herbrandized classical second-order arithmetic},
journal = {Portugaliae Mathematica},
year = 2020,
pages = {399-408},
volume = 77
}