Decidability of E*A-sentences in membership theories
OMODEO, EUGENIO
•
F. PARLAMENTO
•
A. POLICRITI
1996
Periodico
MATHEMATICAL LOGIC QUARTERLY
Archivio
Diritti
metadata only access