The Bounded Functional Interpretation of the Double Negation Shift

AuthID
P-003-6DA
2
Author(s)
Document Type
Article
Year published
2010
Published
in JOURNAL OF SYMBOLIC LOGIC, ISSN: 0022-4812
Volume: 75, Issue: 2, Pages: 759-773 (15)
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-77954333862
Wos: WOS:000278641100016
Source Identifiers
ISSN: 0022-4812
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.