Sign in

The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability.

Eugenio G. OmodeoAlberto Policriti
Published in: J. Symb. Log. (2010)
Keyphrases