Undecidability Results for Restricted Universally Quantified Formulae of Set Theory
PARLAMENTO, Franco
•
POLICRITI, Alberto
1993
Periodico
COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS
Archivio
Diritti
metadata only access
Soggetti