Publications
Authors: | Lavinia Egidi |
Giovanni Faglia | |
Title: | Double-exponential inseparability of Robinson subsystem Q+ |
Published on: | J. Symb. Log. Vol. 76 n. 1 |
Pages: | 94-124 |
Year: | 2011 |
Tipo Pubblicazione: | Paper on International Journal |
URL: | http://projecteuclid.org/euclid.jsl/1294170991 |
Abstract: | http://www.dblp.org/db/journals/jsyml/jsyml76.html#EgidiF11 |