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

Auteur principal : Odifreddi, Piergiorgio, 1950-, AuteurType de document : MonographieCollection : Studies in logic and the foundations of mathematics, 125Langue : anglais.Pays: Pays Bas.Mention d'édition: 2nd impressionÉditeur : Amsterdam : North-Holland, 1999Description : 1 vol (xvii-668 p.) : fig. ; 23 cmISBN: 9780444894830.ISSN: 0049-237X.Bibliographie : Bibliogr. p. 603-641 . Index.Sujet MSC : 03D20, Computability and recursion theory, Recursive functions and relations, subrecursive hierarchies
03D25, Computability and recursion theory, Recursively (computably) enumerable sets and degrees
03D30, Other degrees and reducibilities in computability and recursion theory
03D55, Computability and recursion theory, Hierarchies of computability and definability
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current library Call number Status Date due Barcode
 Monographie Monographie CMI
Salle 1
03 ODI (Browse shelf(Opens below)) Available 02483-01

2nd impression

Bibliogr. p. 603-641 . Index

There are no comments on this title.

to post a comment.