1. Aspekte des Unendlichen : Eine kleine Erzählung für Nichtmathematiker /: Eine kleine Erzählung für Nichtmathematiker. (2019) Authors: Priese, Lutz Record Type: Book Extent: 1 online resource (93 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Automated deduction -- CADE 27 : 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019 : proceedings /: 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019 : proceedings. ([2019]) Editors: (Professor of Computer Science), Fontaine, Pascal Other Names: International Conference on Automated Deduction, 27th Record Type: Book Extent: 1 online resource, illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Conceptual spaces : elaborations and applications /: elaborations and applications. ([2019]) Editors: Kaipainen, Mauri; Zenker, Frank; Hautamäki, Antti; Gärdenfors, Peter Record Type: Book Extent: 1 online resource (viii, 203 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Contextualism, Factivity and Closure : An Union That Should Not Take Place? /: An Union That Should Not Take Place?. (2019) Authors: Leardi, Stefano; Vassallo, Nicla Record Type: Book Extent: 1 online resource (94 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Heyting Algebras Duality Theory /: Duality Theory. (2019) Editors: Bezhanishvili, Guram; Holliday, Wesley H Other Names: Esakia, Leo Record Type: Book Extent: 1 online resource (XV, 95 pages), 420 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Logic and its applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings /: 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings. (2019) Editors: Khan, Md. Aquil; Manuel, Amaldev Other Names: ICLA (Conference : Logic), 8th Record Type: Book Extent: 1 online resource (xvi, 195 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Logic functions and equations : binary models for computer science /: binary models for computer science. ([2019]) Authors: Posthoff, Christian; Steinbach, Bernd Record Type: Book Extent: 1 online resource (xvi, 508 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Parameterized complexity in the polynomial hierarchy : extending parameterized complexity theory to higher levels of the hierarchy /: extending parameterized complexity theory to higher levels of the hierarchy. ([2019]) Authors: De Haan, Ronald Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Quantification theory. (2019) Authors: Faris, J. A (John Acheson) Record Type: Book Extent: 1 online resource (iv, 154 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Reflections on the foundations of mathematics : univalent foundations, set theory and general thoughts /: univalent foundations, set theory and general thoughts. ([2019]) Editors: Centrone, Stefania; Kant, Deborah; Sarikaya, Deniz Record Type: Book Extent: 1 online resource (510 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗