Exportar referência
APA
José Espírito Santo, Gilda Ferreira, (2020). The Russell-Prawitz embedding and the atomization of universal instantiation. Logic Journal of the IGPL, ISSN 1367-0751. eISSN . http://dx.doi.org/10.1093/jigpal/jzaa025
IEEE
José Espírito Santo, Gilda Ferreira, "The Russell-Prawitz embedding and the atomization of universal instantiation" in Logic Journal of the IGPL, 2020.
10.1093/jigpal/jzaa025
BIBTEX
@article{47506,
author = {José Espírito Santo and Gilda Ferreira},
title = {The Russell-Prawitz embedding and the atomization of universal instantiation},
journal = {Logic Journal of the IGPL},
year = 2020,
}