TY  - JOUR
AU  - G. Fuhrken
TI  - Skolem-type normal forms for first-order languages with a generalized quantifier
JO  - Fundamenta Mathematicae
PY  - 1964
SP  - 291
EP  - 302
VL  - 54
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm-54-3-291-302/
DO  - 10.4064/fm-54-3-291-302
LA  - en
ID  - 10_4064_fm_54_3_291_302
ER  -