Basic Proof Theory

1 em estoque

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