Home › Livros › Ciências › Ciência
Autor: John P. Burgess George S. Boolos
Editora: UNESP
SOB ENCOMENDA Prazo de postagem em até 17 dias úteis.
Não consta quantidade deste produto em nossos estoques.
Para obtê-lo, este terá que ser adquirido junto a nossos fornecedores mediante checagem prévia de disponibilidade.
R$ 100,00
em até 3x sem juros
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.
Título: Computabilidade E Logica
ISBN: 9788539303663
Idioma: Português
Encadernação: Brochura
Formato: 16 x 23 x 2,29
Páginas: 440
Ano copyright:
Coleção:
Ano de edição: 2012
Edição: 1ª
Região:
Idioma:
Legenda:
País de produção:
Formato de tela:
Áudio Original:
Tempo de Duração:
Quantidade de discos:
Selo:
Código:
Cezar A. Mortari possui graduação em Filosofia pela Universidade Federal de Santa Catarina (1978), mestrado em Lógica e Filosofia da Ciência pela Universidade Estadual de Campinas (1982) e doutorado em Filosofia pela Eberhard-Karls-Universität Tübingen (1991), em Tubinga, na Alemanha. É professor associado da Universidade Federal de Santa Catarina. Tem experiência na área de Filosofia, com ênfase em lógica modal e semântica de mundos possíveis.