These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics.
Compre este e-book e ganhe mais 1 GRÁTIS!
Língua Inglês ● Formato PDF ● ISBN 9783540471424 ● Editor Klaus Ambos-Spies & Gert H. Muller ● Editora Springer Berlin Heidelberg ● Publicado 2006 ● Carregável 3 vezes ● Moeda EUR ● ID 6593321 ● Proteção contra cópia Adobe DRM
Requer um leitor de ebook capaz de DRM