Decision procedures for elementary sublanguages of set theory. I: Multi-level syllogistic and some extensions
A. FERRO
•
OMODEO, EUGENIO
•
J. T. SCHWARTZ
1980
Periodico
COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS
Archivio
Diritti
metadata only access