[Studies in Logic and the Foundations of Mathematics] Logic Colloquium '86, Proceedings of the Colloquium held in Hull Volume 124 || On the Role of O' in Recursion Theory
Kučera, AntonínYear:
1987
Language:
english
DOI:
10.1016/s0049-237x(09)70655-x
File:
PDF, 401 KB
english, 1987