1. Logics for computer science : classical and non-classical /: classical and non-classical. (2018) Authors: Wasilewska, Anita Record Type: Book Extent: 1 online resource (x, 535 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗