Pular para o conteúdo
Ciências Exatas

Recursion Theory For Metamathematics

1ª Edição - 1993184 páginasOxford Usa *pt
Seja o primeiro a avaliar
Sua leitura no Lireo

Guarde este livro na sua estante

Crie uma conta gratuita e continue exatamente desta página.

Registre seu progresso de leitura
Descubra outros leitores do mesmo livro
Participe de clubes de leitura
Organize toda sua biblioteca

Sinopse

This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.

Detalhes do livro

Título
Recursion Theory For Metamathematics
Autor
Raymond M. Smullyan
Editora
Oxford Usa *
Ano
2026
Páginas
184 páginas
Idioma
PT
ISBN-13
9780195082326
Edição
1ª Edição - 1993
Formato
Hardcover

Mais de Raymond

Outros livros de Raymond M. Smullyan

Ciências Exatas

Livros na mesma categoria

Blog Lireo

Dicas e recomendações para leitores

Soluções institucionais

Para escolas, universidades, autores e editoras