Giacomo LENZI | Pubblicazioni
Giacomo LENZI Pubblicazioni
2011 | |
Articolo in rivista | |
On a positive set theory with inequality MATHEMATICAL LOGIC QUARTERLY. Vol. 57. Pag.474-480 ISSN:0942-5616. | |
Lenzi, Giacomo | |
Digital Object Identifier (DOI): 10.1002/malq.201010022 Codice identificativo ISI: WOS:000295573600004 Codice identificativo SCOPUS: 2-s2.0-80053085957 | |
Visualizza sul Database dei Prodotti (IRIS) |
2011 | |
Articolo in rivista | |
Deciding the existence of uniform interpolants over transitive models ARCHIVE FOR MATHEMATICAL LOGIC. Vol. 50. Pag.185-196 ISSN:0933-5846. | |
Lenzi, Giacomo; Giovanna, D'Agostino | |
Digital Object Identifier (DOI): 10.1007/s00153-010-0208-5 Codice identificativo ISI: WOS:000286668400010 Codice identificativo SCOPUS: 2-s2.0-79251586291 | |
Visualizza sul Database dei Prodotti (IRIS) |