Artigo de pesquisa sobre a teoria das funções recursivas?

Você poderia recomendar um artigo de pesquisa ou capítulo de livro que introduz a teoria das funções recursivas? obrigado

Uma boa referência é a "Parte C" do Manual de Lógica Matemática, editado por Barwise. A parte C inclui os seguintes capítulos:

• Herbert B. Enderton , Elementos da teoria da recursão
• Martin Davis , problemas insolúveis
• Michael O. Rabin , Teorias Decidable
• Stephen G. Simpson , Degress of insolvability: a survey of results
• Richard A. Shore , teoria da recursão $\alpha$
• Alexander Kechris e Yiannis N. Moschovakis , Recursão em tipos superiores
• Peter Aczel , uma introdução às definições indutivas
• Donald A. Martin , Teoria descritiva dos conjuntos

Os capítulos são de altíssima qualidade e escritos pelos principais lógicos. Este manual o levará muito longe no mundo da lógica matemática.

A maioria dos livros de teoria da lógica / complexidade tem um capítulo sobre computabilidade.

Livro didático:

Dexter Kozen, " Teoria da Computação ", Springer, 2006

Douglas S. Bridges, " Computabilidade: um caderno de desenho matemático ", Springer, 1994

Nigel Cutland, " Computabilidade, uma Introdução à Teoria da Função Recursiva ", Cambridge University Press, 1980

Barry S. Cooper, " Teoria da Computabilidade ", Chapman & Hall / CRC, 2004

Livro mais avançado:

Robert I. Soare, " Conjuntos e graus recursivamente enumeráveis ", Springer-Verlag, 1987

Robert I. Soare, "Teoria da Computabilidade e Aplicações: A Arte da Computabilidade Clássica"

Piergiorgio Odifreddi, " Teoria Clássica da Recursão ", vol I (1989) e II (1999)

Edward R. Griffor, " Manual da Teoria da Computabilidade ", Elsevier, 1999

Gosto do programa que Sebastiaan Terwijn escreveu em 2004 (acessível em http://www.math.ru.nl/~terwijn/teaching.html ). Ele abrange funções e conjuntos recursivos, reconfigurações, hierarquia aritmética, graus de Turing, método prioritário e algumas aplicações, incluindo teoremas da incompletude.

Encontrei esses livros à minha disposição. Verifiquei para não incluir os livros citados por Kaveh , mas meus olhos podem ter cometido um erro.

• Teoria da complexidade, lógica e recursão
• Computabilidade, Enumerabilidade, Insolubilidade; Direções na teoria da recursão
• Teoria das Funções Recursivas e Computabilidade Eficaz
• Teoria da Recursão para Metamatemática