Vollstandige system modaler und intuitionistischer logik - Schutte K (Berlin Springer-Verlag, 1968)