1. A course on basic model theory. (2017) Authors: Sarbadhikari, Haimanti; Srivastava, S. M (Shashi Mohan) Record Type: Book Extent: 1 online resource (xix, 291 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A new perspective on nonmonotonic logics. (2016) Authors: Gabbay, Dov M, 1945-; Schlechta, Karl Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Advances in proof-theoretic semantics. ([2016]) Editors: Piecha, Thomas; Schroeder-Heister, Peter Joseph, 1953- Other Names: International Conference on Proof-Theoretic Semantics, 2nd Record Type: Book Extent: 1 online resource (vi, 283 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Computational complexity of solving equation systems. (2015) Authors: Broniek, Przemysław Record Type: Book Extent: 1 online resource (ix, 64 pages), illustration View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. 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) ↗
6. Feferman on foundations : logic, mathematics, philosophy /: logic, mathematics, philosophy. (2017) Editors: Jäger, Gerhard; Sieg, Wilfried, 1945- Other Names: Feferman, Solomon honouree. Record Type: Book Extent: 1 online resource (lxxx, 551 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Logic, rationality, and interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings. (2017) Editors: Baltag, Alexandru; Seligman, Jeremy; Yamada, Tomoyuki Other Names: LORI (Workshop), 6th Record Type: Book Extent: 1 online resource (xii, 694 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Logica. Incompletezza, teoria assiomatica degli insiemi / Volume 2, (2018) Authors: Abrusci, V. M (V. Michele); Tortora de Falco, Lorenzo Record Type: Book Extent: 1 online resource (xiii, 439 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Logical studies of paraconsistent reasoning in science and mathematics. ([2016]) Editors: Andreas, Holger, 1974-; Verdée, Peter Record Type: Book Extent: 1 online resource (vi, 221 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. 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) ↗