Recursion Theory and Complexity (Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997) || Σ2 Induction and cuppable degrees
Arslanov, Marat M., Lempp, SteffenVolume:
10.1515/97
Year:
1999
Language:
english
DOI:
10.1515/9783110807486.215
File:
PDF, 450 KB
english, 1999