Contributions to the reduction theory of the decision problem: Second paper: Three universal, one existential quanti ers (1950)

by János Surányi
Venue:Acta Mathematica Hungarica