Recursion theory / Joseph R. Shoenfield

Auteur principal : Shoenfield, Joseph Robert, 1927-2000, AuteurType de document : Livre numériqueCollection : Lecture notes in logic, 1Langue : anglais.Éditeur : Berlin : Springer-Verlag, 1993ISBN: 9783540570936; 3540570934.ISSN: 1431-5459.Sujet MSC : 03Dxx, Mathematical logic and foundations - Computability and recursion theory
03-01, Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundationsEn-ligne : OA - accès libre
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

This book, evolved from a one-semester course given at Duke University, is aimed at students having a considerable degree of mathematical maturity. Requiring no specific prerequisites, it goes from basic computability to Church's thesis, word problems, undecidable theories, degrees and hierarchies (arithmetical, analytical, and projective).
According to the author, the "main object was to prepare the student for studying advanced books and journal articles in recursion theory''. In the reviewer's opinion, he succeeded very well. (MathSciNet)

There are no comments on this title.

to post a comment.