BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Nonstandardness and the bounded functional interpretation

Participants in the publication
Fernando Ferreira (Author)
Dep. Matemática
CMAF - Centro de Matemática e Aplicações Fundamentais 
Jaime Gaspar (Author)

Scope
International

Refereeing
Yes

Date of Publication
2015

Where published
ANNALS OF PURE AND APPLIED LOGIC

Publication Identifiers
ISSN - 0168-0072

Volume
166

Starting page
665
Last page
740

Document Identifiers
DOI - https://doi.org/10.1016/j.apal.2015.02.001


Export

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 }