RelBib: Proof methods for modal and intuitionistic logics

https://relbib.de/Record/013992511?print=1&lng=de