1. Mathematics and the mind : an introduction into Ibn Sīnā's theory of knowledge /: an introduction into Ibn Sīnā's theory of knowledge. ([2016]) Authors: Tahiri, Hassan Record Type: Book Extent: 1 online resource (ix, 76 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Recent developments in the philosophy of science : EPSA13 Helsinki /: EPSA13 Helsinki. ([2015]) Editors: Mäki, Uskali; Votsis, Ioannis; Ruphy, Stéphanie; Schurz, Gerhard, 1956- Other Names: European Philosophy of Science Association., Conference, (2013) (Helsinki, Finland) Record Type: Book Extent: 1 online resource (ix, 391 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Neighborhood semantics for modal logic. (2017) Authors: Pacuit, Eric Record Type: Book Extent: 1 online resource (154 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Logics for computer science : classical and non-classical /: classical and non-classical. (2018) Authors: Wasilewska, Anita Record Type: Book Extent: 1 online resource (x, 535 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Hopf algebras and their generalizations from a category theoretical point of view. (2018) Authors: Böhm, Gabriella Record Type: Book Extent: 1 online resource (xi, 165 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Turing's revolution : the impact of his ideas about computability /: the impact of his ideas about computability. (2016) Editors: Sommaruga, Giovanni; Strahm, Thomas (Thomas Adrian) Record Type: Book Extent: 1 online resource (xxiv, 329 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. One hundred prisoners and a light bulb. (2015) Authors: Ditmarsch, Hans van, 1959-; Kooi, Barteld Pieter, 1976- Other Names: Elancheziyan illustrator. Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Modern logic 1850-1950, East and West. (2016) Editors: Abeles, Francine F, 1935-; Fuller, Mark E Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Meaning in dialogue : an interactive approach to logic and reasoning /: an interactive approach to logic and reasoning. ([2017]) Authors: Trafford, James Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Raymond Smullyan on self reference. (2017) Editors: Fitting, Melvin; Rayman, Brian Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗