Classical recursion theory : the theory of functions and sets of natural numbers /

Bibliographic Details

Main Author:	Odifreddi, Piergiorgio, 1950-
Format:	Book
Language:	English
Published:	Amsterdam ; New York : North-Holland ; 1989-1999.
Series:	Studies in logic and the foundations of mathematics ; v. 125, 143.
Subjects:	Recursion theory. Récursivité, Théorie de la.