Vollständige Systeme modaler und intuitionistischer Logik. - Springer Verlag, 1968. - ( Ergebnisse der Mathematik und ihrer Grenzgebiete neue Folge ; 42).