11. Nonstandard analysis for the working mathematician. (2015) Editors: Loeb, Peter A; Wolff, Manfred P. H Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
12. On logical, algebraic, and probabilistic aspects of fuzzy set theory. (2016) Editors: Saminger-Platz, Susanne; Mesiar, Radko Record Type: Book Extent: 1 online resource (xii, 275 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
13. Probability logics : probability-based formalization of uncertain reasoning /: probability-based formalization of uncertain reasoning. ([2016]) Authors: Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran Record Type: Book Extent: 1 online resource (xi, 215 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
14. Problems and proofs in numbers and algebra. (2015) Authors: Millman, Richard S, 1945-; Shiue, Peter Jau-Shyong, 1941-; Kahn, Eric Brendan Record Type: Book Extent: 1 online resource (x, 223 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
15. Recent trends in algebraic development techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised selected papers /: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised selected papers. (2017) Editors: James, Phillip (Phillip D.); Roggenbach, Markus Other Names: WADT (Workshop), 23rd Record Type: Book Extent: 1 online resource (x, 223 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
16. Saved from the cellar : Gerhard Gentzen's shorthand notes on logic and foundations of mathematics /: Gerhard Gentzen's shorthand notes on logic and foundations of mathematics. (2017) Authors: Von Plato, Jan Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
17. Springer handbook of model-based science. (2017) Editors: Magnani, Lorenzo; Bertolotti, Tommaso Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
18. Temporal type theory : a topos-theoretic approach to systems and behavior /: a topos-theoretic approach to systems and behavior. ([2019]) Authors: Schultz, Patrick; Spivak, David I, 1978- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
19. The road to universal logic. Festschrift for 50th Birthday of Jean-Yves Béziau /: Festschrift for 50th Birthday of Jean-Yves Béziau. Volume I : ([2015]) Editors: Koslow, Arnold; Buchsbaum, Arthur Other Names: Béziau, Jean-Yves honouree. Record Type: Book Extent: 1 online resource (xii, 520 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
20. The unknown as an engine for science : an essay on the definite and the indefinite /: an essay on the definite and the indefinite. ([2015]) Authors: Pirner, Hans Jürgen Other Names: Brewer, William D translator.; Pirner, Hans Jürgen Record Type: Book Extent: 1 online resource (xvii, 146 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗