1. 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) ↗
2. Coherent systems. (2004) Other Names: Schlechta, Karl Record Type: Book Extent: 1 online resource (468 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Formal semantics in modern type theories. (2018) Authors: Chatzikyriakidis, Stergios; Luo, Zhaohui Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Iceberg semantics for mass nouns and count nouns : a new framework for Boolean semantics /: a new framework for Boolean semantics. (2020) Authors: Landman, Fred Record Type: Book Extent: 1 online resource (385 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗