Descrição
Autor: A. S. Troelstra e H. Schwichtenberg
Ano de Publicação: 2000
Editora: Cambridge University
Edição: 2ª
ISBN: 9780521779111
Coleção: Cambridge Tracts in Theoretical Computer Science, 43
Publicação em Inglês. Esta introdução às ideias básicas da teoria da prova estrutural contém uma discussão completa e comparação de vários tipos de formalização da lógica de primeira ordem. Exemplos são dados de várias áreas de aplicação, a saber: as metamatemáticas de pura lógica de primeira ordem, teoria de programação lógica, teoria de categorias, lógica modal, lógica linear, aritmética de primeira ordem e lógica de segunda ordem. Em cada caso, os autores ilustram os métodos em situações relativamente simples e, em seguida, aplica-os em outros lugares em configurações muito mais complexas. Para a nova edição, eles reescreveram muitas seções para melhorar a clareza, adicionaram novas seções sobre eliminação de cortes e incluíram soluções para exercícios selecionados. Em geral, o único pré-requisito é um curso padrão em lógica de primeira ordem, tornando o livro ideal para estudantes de pós-graduação e iniciando pesquisadores em lógica matemática, informática computacional e inteligência artificial.
Código: 927
