Decidability and Completeness for Open Formulas of Membership Theories
BELLE' D
•
PARLAMENTO, Franco
1995
Periodico
NOTRE DAME JOURNAL OF FORMAL LOGIC
Archivio
Diritti
metadata only access
Soggetti