TY - JOUR AU - Horst Luckhardt TI - Skolem-Normalformen. JO - Manuscripta mathematica PY - 1969 SP - 241 EP - 258 VL - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MM2_1969__1_153979/ LA - de ID - MM2_1969__1_153979 ER -