Logics for computer science classical and non-classical - Wasilewska, Anita (Springer, 2018)