Recursion theory

Bibliographic Details
Main Author: Shoenfield, Joseph R. 1927-
Format: Book
Published: Berlin, New York Springer-Verlag c1993.
Series:Lecture notes in logic 1.
Subjects: