Vollstandige systeme modaler und intuitionisticher logik - Schutte Kurt (Berlin Springer- verlag, 1968)
Keywords: Mathamtical logic; Symbolic