1. BCC-algebras. (2022) Authors: Thomys, Janus Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Coherent systems. (2004) Other Names: Schlechta, Karl Record Type: Book Extent: 1 online resource (468 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Functions and generality of logic : reflections on Dedekind's and Frege's logicisms /: reflections on Dedekind's and Frege's logicisms. (2015) Authors: Benis-Sinaceur, Hourya; Panza, Marco; Sandu, Gabriel Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Proof theory and algebra in logic. ([2019]) Authors: Ono, Hiroakira Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Relational and algebraic methods in computer science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings. (2017) Editors: Höfner, Peter; Pous, Damien; Struth, Georg Other Names: RAMiCS (Conference), 16th Record Type: Book Extent: 1 online resource (xiv, 323 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Relational and algebraic methods in computer science : 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, proceedings /: 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, proceedings. (©2020) Other Names: Fahrenberg, Uli; Jipsen, Peter, 1964-; (Professor), Winter, Michael; RAMiCS (Conference), 18th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Relational topology. (2018) Authors: Schmidt, Gunther, 1939-; (Professor), Winter, Michael Record Type: Book Extent: 1 online resource (194 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Residuated lattices : an algebraic glimpse at substructural logics /: an algebraic glimpse at substructural logics. (2007) Other Names: Galatos, Nikolaos Record Type: Book Extent: 1 online resource (532 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. 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) ↗
10. Simple relation algebras. ([2017]) Authors: Givant, Steven R; Andréka, H Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗