History

for article: Bernays–Schönfinkel class