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

AuthID
P-003-A5A
1
Author(s)
Document Type
Article
Year published
2010
Published
in ARCHIVE FOR MATHEMATICAL LOGIC, ISSN: 1432-0665
Volume: 49, Issue: 1, Pages: 17-34 (18)
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-72249101970
Wos: WOS:000272628800002
Source Identifiers
ISSN: 1432-0665
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.