Pubblicazioni
Autori: | Lavinia Egidi |
Giovanni Faglia | |
Titolo: | Double-exponential inseparability of Robinson subsystem Q+ |
Apparso su: | J. Symb. Log. Vol. 76 n. 1 |
Pagine: | 94-124 |
Anno: | 2011 |
Tipo Pubblicazione: | Paper on International Journal |
URL: | http://projecteuclid.org/euclid.jsl/1294170991 |
Sommario: | http://www.dblp.org/db/journals/jsyml/jsyml76.html#EgidiF11 |