1. Handbook of computability theory. (1999) Other Names: Griffor, Edward R Record Type: Book Extent: 1 online resource (724 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. 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) ↗