Booktoken 📚

Acadêmicos

Não ficção: acadêmicos, biografias, documentários e manuais

Educação Estudo de Línguas Estrangeiras Filosofia Fotografia História Jardinagem Matemática Medicina Música Natureza Negócios e Economia Não Ficção para Jovens Adultos Preparatórios de Concursos e Estudos Psicologia Referência Tecnologia e Engenharia Transporte

Literatura

Ficção: literatura nacional e internacional

Coleções Literárias Drama Ficção Ficção para Jovens Adultos Humor Poesia

Autoajuda

Autoajuda, desenvolvimento pessoal e hábitos

Autoajuda Corpo, Mente e Espírito Esportes e Recreação Família e Relacionamentos Saúde e Fitness Viagem

Religião

Religiosos, espiritualidade e esotéricos

Bíblias Religião

Infantil

Infantil: didáticos, paradidáticos e leitura infantojuvenil

Ficção Juvenil Jogos e Atividades Não Ficção Juvenil Quadrinhos e Romances Gráficos

Crie sua conta

Ajuda

Planos

Não ficção: acadêmicos, biografias, documentários e manuais

Animais de Estimação Antiguidades e Colecionáveis Arquitetura Arte Artes Performáticas Artes da Linguagem e Disciplinas Artesanato e Passatempos Biografia e Autobiografia Casa e Lar Ciência Ciência Política Ciências Sociais Computadores Crimes Verdadeiros Crítica Literária Culinária Design Direito Educação Estudo de Línguas Estrangeiras Filosofia Fotografia História Jardinagem Matemática Medicina Música Natureza Negócios e Economia Não Ficção para Jovens Adultos Preparatórios de Concursos e Estudos Psicologia Referência Tecnologia e Engenharia Transporte

Ficção: literatura nacional e internacional

Coleções Literárias Drama Ficção Ficção para Jovens Adultos Humor Poesia

Autoajuda, desenvolvimento pessoal e hábitos

Autoajuda Corpo, Mente e Espírito Esportes e Recreação Família e Relacionamentos Saúde e Fitness Viagem

Religiosos, espiritualidade e esotéricos

Bíblias Religião

Infantil: didáticos, paradidáticos e leitura infantojuvenil

Ficção Juvenil Jogos e Atividades Não Ficção Juvenil Quadrinhos e Romances Gráficos

Crie sua conta

Conheça nossos planos

Computabilidade e lógica

ISBN: 9788539303663

Por: Editora Unesp | Autor: Boolos, George S.; Burgess, John P.; Jeffrey, Richard C. | Edição: 1

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.