Effectively propositional logic

Redirect to:

• Bernays–Schönfinkel class