BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
Spector’s proof of the consistency of analysis

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

Scope
International

Refereeing
Yes

Date of Publication
2015

Publication Identifiers

Starting page
278
Last page
300

Document Identifiers
DOI - https://doi.org/10.1007/978-3-319-10103-3_11


Export

APA
Ferreira, F., (2015). Spector’s proof of the consistency of analysis. , 278-300

IEEE
Ferreira, F., "Spector’s proof of the consistency of analysis" in , , 2015, pp. 278-300, doi: 10.1007/978-3-319-10103-3_11

BIBTEX
@InProceedings{22972, author = {Ferreira, F.}, title = {Spector’s proof of the consistency of analysis}, booktitle = {}, year = 2015, pages = {278-300}, address = {}, publisher = {} }