Livro

Computabilidade e lógica

George S. Boolos, John P. Burgess, Richard C. Jeffrey
R$96,00
Comprar

Computabilidade e lógica tornou-se um livro de referência em sua área por apresentar, de maneira acessível, questões complexas do estudo de lógica. Seus capítulos cobrem não apenas os tópicos básicos de um curso intermediário sobre o assunto, como os teoremas de incompletude de Gödel, mas também um amplo leque de tópicos adicionais, como a teoria da computabilidade de Turing e o teorema de Ramsey.

  • Tradução: Cezar A. Mortari
  • Assunto: Ciências Exatas
  • Ano: 2013
  • Acabamento: LIVRO BROCHURA (PAPERBACK)
  • Páginas: 440
  • Edição: 1
  • ISBN: 9788539303663
  • Peso: 630g
  • Formato: 16 X 23

Autores

Veja Também