Odifreddi, Piergiorgio, 1950-

Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi - Amsterdam : North-Holland Pub., c1989 - xvii, 668 p. : ill. ; 22 cm. - Studies in logic and the foundations of mathematics ; v. 125 .

Includes bibliographical references and index

0444872957 : PND 210.00


Recursion theory

164