Eugenio G. Omodeo, Alberto Policriti. The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability. Journal of Symbolic Logic, 75(2):459-480, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.