Vollständige Systeme modaler und intuitionistischer Logik. - Schuette, Kurt (Ergebnisse der Mathematik und ihrer Grenzgebiete, 1968)