Vollständige Systeme modaler und intuitionistischer Logik. - Schütte, K. (Springer-Verlag, 1968)