TY  - JOUR
AU  - Günther Emde
TI  - Kriterien für die Herleitbarkeit in Modalitätenstrukturen.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1957
SP  - 79
EP  - 111
VL  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1957__3_137736/
ID  - AMLG_1957__3_137736
ER  -