Decidability of E*AA-sentences in HF
BELLE' Dorella
•
PARLAMENTO, Franco
2008
Periodico
NOTRE DAME JOURNAL OF FORMAL LOGIC
Archivio
Diritti
closed access