Proof Theory of Modal Logic by Heinrich Wansing (.PDF) Posted on May 4, 2024 by book314 File Size: 22 MB Continue reading