1. Martin Davis on Computability, Computational Logic, and Mathematical Foundations. (2016) Editors: Omodeo, Eugenio; Policriti, Alberto Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. On sets and graphs : perspectives on logic and combinatorics /: perspectives on logic and combinatorics. (2017) Authors: Omodeo, Eugenio; Policriti, Alberto; Tomescu, Alexandru I Record Type: Book Extent: 1 online resource (xix, 275 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗