Logics for Computer Science Classical and Non-Classical - Wasilewska, Anita; Wasilewska, Anita (Springer International Publishing : Imprint: Springer, 2018)