L-Omega one is enough: a reduction theorem for some infinitary languages

G. E. Reyes (1972). L-Omega one omega is enough: a reduction theorem for some
infinitary languages. Journal of Symb. Logic. Vol.37, No.4, 705-710.

Attribution-NonCommercial-NoDerivs 2.5
This work is licensed under a Attribution-NonCommercial-NoDerivs 2.5.