Vollständige Systeme modaler und intuitionistischer Logik (1968)

by Kurt Schütte