The decidability of the Bernays-Shoenfinkel-Ramsey class for set theory
OMODEO, EUGENIO
•
A. POLICRITI
2008
Abstract
Rapporto scientifico
Archivio
Diritti
metadata only access