Vollständige Systeme modaler und intuitionistischer Logik (1978)

by P Schütte