Exportar referência
APA
Gilda Ferreira, Paulo Firmino, (2024). Herbrandized modified realizability. Archive for Mathematical Logic, 63, 703-721. ISSN 0933-5846. eISSN . http://dx.doi.org/10.1007/s00153-024-00917-6
IEEE
Gilda Ferreira, Paulo Firmino, "Herbrandized modified realizability" in Archive for Mathematical Logic, vol. 63, pp. 703-721, 2024.
10.1007/s00153-024-00917-6
BIBTEX
@article{61920,
author = {Gilda Ferreira and Paulo Firmino},
title = {Herbrandized modified realizability},
journal = {Archive for Mathematical Logic},
year = 2024,
pages = {703-721},
volume = 63
}