Grundzüge der Logik_Hintergrundliteratur (67.3 kB)
Maarten de Rijke und Heinrich Wansing: Proofs and Expressiveness in Alethic Modal Logic (275.3 kB)
