Quantifier-free and one-quantifier systems (1973)

by G Mints
Venue:Journal of Mathematical Sciences