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