1. A first course in logic. (2018) Authors: Lawson, Mark V Record Type: Book Extent: 1 online resource, illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A history of folding in mathematics : mathematizing the margins /: mathematizing the margins. (2018) Authors: Friedman, Michael Record Type: Book Extent: 1 online resource (xv, 419 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Artificial adaptive systems using auto contractive maps : theory, applications and extensions /: theory, applications and extensions. (2018) Authors: Buscema, Massimo, 1955-; Massini, Giulia; Breda, Marco; Lodwick, Weldon A; Newman, Francis (Francis D.); Asadi-Zeydabadi, Masoud Record Type: Book Extent: 1 online resource (vii, 179 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Building theories : heuristics and hypotheses in sciences /: heuristics and hypotheses in sciences. ([2018]) Editors: Danks, David, 1975-; Ippoliti, Emiliano Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Cellular automata and discrete complex systems : 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018, Proceedings /: 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018, Proceedings. ([2018]) Editors: Baetens, Jan M; Kutrib, Martin Other Names: AUTOMATA (Workshop), 24th Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Contradictions, from consistency to inconsistency. ([2018]) Editors: Carnielli, Walter A (Walter Alexandre); Malinowski, Jacek Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Database and expert systems applications : 29th International Conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, Proceedings.: 29th International Conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, Proceedings. Part II (2018) Editors: Hartmann, Sven, 1969-; (Computer programmer), Ma, Hui; Hameurlain, Abdelkader; Pernul, Günther; Wagner, Roland R Other Names: Database and Expert Systems Applications Conference, 29th Record Type: Book Extent: 1 online resource (XXIII, 521 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Denken in Strukturen und seine Geschichte : Von der Kraft des mathematischen Beweises /: Von der Kraft des mathematischen Beweises. (2018) Authors: Honerkamp, Josef Record Type: Book Extent: 1 online resource (384 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Ewa Orłowska on Relational Methods in Logic and Computer Science. (2018) Other Names: Golińska-Pilarek, Joanna; Zawidzki, Michał Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Fundamentals of mathematical logic. (2018) Other Names: Hinman, Peter G Record Type: Book Extent: 1 online resource (894 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗