Classical recursion theory.
Series: Studies in logic and the foundations of mathematics -- v.125
Publisher: North-Holland
Published: 1989
Language: eng
Number of pages: 668
Subjects: Recursive functions.