1. Many-dimensional modal logics : theory and applications /: theory and applications. (2003) Other Names: Gabbay, Dov M, 1945- Record Type: Book Extent: 1 online resource (766 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Relation algebras by games. (2002) Other Names: Hirsch, R (Robin); Hodkinson, Ian Record Type: Book Extent: 1 online resource (710 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Rudiments of [mu]-calculus. (2001) Other Names: Arnold, A (André), 1945-; Niwiński, Damian Record Type: Book Extent: 1 online resource (298 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗