Secision Procedures for Elementary Sublanguages of Set Theory XI. Unsolvability of the Decision Problem for a Restricted Subclass of the Delta_0-Formulas in Set Theory
PARLAMENTO, Franco
•
POLICRITI, Alberto
1988
Periodico
COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS
Archivio
Diritti
metadata only access
Soggetti