Vollständige Systeme modaler und intuitionistischer Logik - Schütte Kurt (Springer-Verlag, 1968)
Keywords: Calcul des prédicats; Logique mathématique