Last modified on 13 July 2009, at 14:08

Logic for Computer Scientists/Modal Logic