Pular para o conteúdo
Ciências Exatas

Metamathematics, Machines And Godel´S Proof

1ª Edição - 1997220 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

Describes the use of computer programs to check several proofs in the foundations of mathematics.

Detalhes do livro

Título
Metamathematics, Machines And Godel´S Proof
Autor
Shankar
Editora
Cambridge University Press
Ano
2026
Páginas
220 páginas
Idioma
PT
ISBN-13
9780521585330
Edição
1ª Edição - 1997
Formato
Paperback

Mais de Shankar

Outros livros de Shankar

Ciências Exatas

Livros na mesma categoria

Blog Lireo

Dicas e recomendações para leitores

Soluções institucionais

Para escolas, universidades, autores e editoras