1. Mathematical logic. ([2018?]) Authors: Shoenfield, Joseph R (Joseph Robert), 1927- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. 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) ↗
3. 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) ↗
4. 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) ↗
5. Truth, existence and explanation : FilMat 2016 studies in the philosophy of mathematics /: FilMat 2016 studies in the philosophy of mathematics. (2018) Editors: (Philosopher), Piazza, Mario; Pulcini, Gabriele Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Introduction to formal philosophy. ([2018]) Editors: Hansson, Sven Ove; Hendricks, Vincent F Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. ModelEd, testEd, trustEd : essays dedicated to Ed Brinksma on the occasion of his 60th birthday /: essays dedicated to Ed Brinksma on the occasion of his 60th birthday. ([2017]) Editors: Katoen, Joost-Pieter; Langerak, Rom (Romanus), 1961-; Rensink, Arend Record Type: Book Extent: 1 online resource (XII, 391 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. 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) ↗
9. 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) ↗
10. Theoretical aspects of computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, proceedings /: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, proceedings. (2017) Editors: Dang, Hung Van, 1950-; Kapur, Deepak Other Names: ICTAC (Colloquium), 14th Record Type: Book Extent: 1 online resource (XX, 305 pages), 58 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗