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

Volume II of <IT>Classical Recursion Theory</IT> describes the universe from a local (bottom-up or synthetical) point of view, and covers the whole spectrum, from the recursive to the arithmetical sets. The first half of the book provides a detailed picture of the computable sets from th...

Full description

Bibliographic Details

Main Author:	Odifreddi, Piergiorgio, 1950-
Corporate Author:	ScienceDirect (Online service)
Format:	eBook
Language:	English
Published:	Amsterdam ; New York : New York, N.Y., USA : North-Holland ; Sole distributors for the USA and Canada, Elsevier Science Pub. Co., 1989-1999.
Series:	Studies in logic and the foundations of mathematics ; v. 125, 143.
Subjects:	Recursion theory. Théorie de la récursivité. Recursion theory Récursivité, Théorie de la. Electronic books.
Online Access:	Connect to the full text of this electronic book