Pular para o conteúdo
Ciências Exatas

Computability And Logic

5ª Edição - 2007364 páginasCambridge University Presspt
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

'Computability and Logic' has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel’s incompleteness theorems, but also a large number of optional topics, from Turing’s theory of computability to Ramsey’s theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems.

Planeje no seu ritmo

Quanto tempo leva para ler Computability And Logic?

Esta edição tem 364 páginas. Escolha uma meta diária possível e ajuste o plano conforme a leitura avançar.

Ritmo tranquilo

37 dias

10 páginas por dia

Ritmo constante

19 dias

20 páginas por dia

Ritmo intenso

13 dias

30 páginas por dia

Detalhes do livro

Título
Computability And Logic
Autor
George | Jeffrey Richard | Burgess John P. Boolos
Editora
Cambridge University Press
Ano
2007
Páginas
364 páginas
Idioma
PT
ISBN-13
9780521701464
Edição
5ª Edição - 2007
Formato
Paperback

Ciências Exatas

Livros na mesma categoria

Sua vida de leitura

A leitura de Computability And Logic pode continuar na Lireo

A Lireo é uma plataforma para organizar sua estante, registrar páginas e impressões, publicar resenhas e encontrar pessoas que estão lendo os mesmos livros.

Blog Lireo

Dicas e recomendações para leitores

Soluções institucionais

Para escolas, universidades, autores e editoras