Axiomatizability by forall-exists-sentences

Miguel Campercholi, Diego Vaggione. Axiomatizability by forall-exists-sentences. Arch. Math. Log., 50(7-8):713-725, 2011. [doi]

Abstract

Abstract is missing.