TY  - JOUR
AU  - A. OBERSCHELP
TI  - Untersuchungen zur mehrsortigen Quantorenlogik.
JO  - Mathematische Annalen
PY  - 1962
SP  - 297
EP  - 333
VL  - 145
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAN_1962__145_160913/
ID  - MAN_1962__145_160913
ER  -