TY  - JOUR
AU  - Martin Wirsing
TI  - Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten.
JO  - Manuscripta mathematica
PY  - 1977
SP  - 13
EP  - 26
VL  - 22
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MM2_1977__22_154477/
ID  - MM2_1977__22_154477
ER  -