Vollständige Systeme modaler und intuitionisticher Logik, Ergebnisse der Mathematik und ihrer Grenzgebiete 42 (1968)

by K Schütte