The reduction-class $\forall \exists ^n\forall $
Algebra i logika, Tome 3 (1964) no. 5, pp. 45-55
@article{AL_1964_3_5_a2,
author = {V. F. Kostyrko},
title = {The reduction-class $\forall \exists ^n\forall $},
journal = {Algebra i logika},
pages = {45--55},
year = {1964},
volume = {3},
number = {5},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_1964_3_5_a2/}
}
V. F. Kostyrko. The reduction-class $\forall \exists ^n\forall $. Algebra i logika, Tome 3 (1964) no. 5, pp. 45-55. http://geodesic.mathdoc.fr/item/AL_1964_3_5_a2/