Export
APA
Fernando Ferreira, Gilda Ferreira, (2017). A herbrandized functional interpretation of classical first-order logic. Archive for Mathematical Logic, 56, 523-539. ISSN 0933-5846. eISSN . http://dx.doi.org/10.1007/s00153-017-0555-6
IEEE
Fernando Ferreira, Gilda Ferreira, "A herbrandized functional interpretation of classical first-order logic" in Archive for Mathematical Logic, vol. 56, pp. 523-539, 2017.
10.1007/s00153-017-0555-6
BIBTEX
@article{36355,
author = {Fernando Ferreira and Gilda Ferreira},
title = {A herbrandized functional interpretation of classical first-order logic},
journal = {Archive for Mathematical Logic},
year = 2017,
pages = {523-539},
volume = 56
}