Decidability of E*A-sentences in membership theories / Omodeo, Eugenio; F., Parlamento; A., Policriti. - In: MATHEMATICAL LOGIC QUARTERLY. - ISSN 0942-5616. - 42(1):(1996), pp. 41-58.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


