Vollständige Systeme Modaler und Intuitionistischer Logik (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 42, Band 42)
Ein umfassendes Werk über die Vollständigkeit modaler und intuitionistischer Logik, das klassische Beweismethoden mit modernen semantischen Technike ...