1. Algebraic computability and enumeration models : recursion theory and descriptive complexity /: recursion theory and descriptive complexity. (2015) Authors: Nourani, Cyrus F Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Computability theory. (2017) Other Names: Cooper, S. B (S. Barry) Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Computable structures and the hyperarithmetical hierarchy. (2000) Other Names: Ash, C. J; Knight, J (Julia) Record Type: Book Extent: 1 online resource (366 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Evolving computability : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings /: 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings. (2015) Editors: Beckmann, Arnold; Mitrana, Victor; Soskova, Mariya Other Names: Conference on Computability in Europe, 11th Record Type: Book Extent: 1 online resource (xv, 363 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Handbook of computability theory. (1999) Other Names: Griffor, Edward R Record Type: Book Extent: 1 online resource (724 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Noncommutative polynomial algebras of solvable type and their modules : basic constructive-computational theory and methods /: basic constructive-computational theory and methods. (2021) Authors: Li, Huishi Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Pursuit of the universal : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27-July 1, 2016, Proceedings /: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27-July 1, 2016, Proceedings. (2016) Editors: Beckmann, Arnold; Bienvenu, Laurent; Jonoska, Nataša, 1961- Other Names: Conference on Computability in Europe, 12th Record Type: Book Extent: 1 online resource (xvi, 375 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Sailing routes in the world of computation : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30-August 3, 2018, Proceedings /: 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30-August 3, 2018, Proceedings. (2018) Editors: Manea, Florin; Miller, Russell G; Nowotka, Dirk Other Names: Conference on Computability in Europe, 14th Record Type: Book Extent: 1 online resource (xv, 434 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. The incomputable : journeys beyond the Turing barrier /: journeys beyond the Turing barrier. (2017) Editors: Cooper, S. B (S. Barry); Soskova, Mariya Record Type: Book Extent: 1 online resource (292 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Turing's cathedral : the origins of the digital universe /: the origins of the digital universe. (2013) Authors: Dyson, George, 1953- Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗