Decision procedures for elementary sublanguages of set theory, VII: Validity in set theory when a choice operator is present
A. FERRO
•
OMODEO, EUGENIO
1987
Periodico
COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS
Archivio
Diritti
metadata only access