1. General lattice theory. (1978) Other Names: Gratzer, George A Record Type: Book Extent: 1 online resource (xiii, 381 pages), illustrations 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) ↗