Logics for computer science : classical and non-classical /: classical and non-classical. (2018) - Wasilewska, Anita
No abstract available