Finite-quantifier equivalence, in "The Theory of Models (1965)

by C KARP