Exportar referência
APA
Ferreira, Fernando, (2014). A new computation of the Sigma-ordinal of KPw. JOURNAL OF SYMBOLIC LOGIC, 79, 306-324. ISSN 0022-4812. eISSN . http://journals.cambridge.org/action/displayabstract?frompage=online&aid=9233793&fileid=s0022481213000315
IEEE
Ferreira, Fernando, "A new computation of the Sigma-ordinal of KPw" in JOURNAL OF SYMBOLIC LOGIC, vol. 79, pp. 306-324, 2014.
BIBTEX
@article{22966,
author = {Ferreira, Fernando},
title = {A new computation of the Sigma-ordinal of KPw},
journal = {JOURNAL OF SYMBOLIC LOGIC},
year = 2014,
pages = {306-324},
volume = 79
}