Exportar referência
APA
Fernando Ferreira, Jaime Gaspar, (2015). Nonstandardness and the bounded functional interpretation. ANNALS OF PURE AND APPLIED LOGIC, 166, 665-740. ISSN 0168-0072. eISSN .
IEEE
Fernando Ferreira, Jaime Gaspar, "Nonstandardness and the bounded functional interpretation" in ANNALS OF PURE AND APPLIED LOGIC, vol. 166, pp. 665-740, 2015.
10.1016/j.apal.2015.02.001
BIBTEX
@article{22976,
author = {Fernando Ferreira and Jaime Gaspar},
title = {Nonstandardness and the bounded functional interpretation},
journal = {ANNALS OF PURE AND APPLIED LOGIC},
year = 2015,
pages = {665-740},
volume = 166
}