1. 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) ↗