Recursion Theory: Computational Aspects of Definability

Recursion Theory: Computational Aspects of Definability

2015 • 320 pages