Strict Pi(1)(1)-Reflection in Bounded Arithmetic

AuthID
P-003-A5A
1
Author(s)
Tipo de Documento
Article
Year published
2010
Publicado
in ARCHIVE FOR MATHEMATICAL LOGIC, ISSN: 1432-0665
Volume: 49, Número: 1, Páginas: 17-34 (18)
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-72249101970
Wos: WOS:000272628800002
Source Identifiers
ISSN: 1432-0665
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.