Descrição
A lógica de primeira ordem tem poder expressivo suficiente para formalizar praticamente
toda a matemática. Uma teoria de primeira ordem consiste em um conjunto de axiomas e de
sentenças dedutíveis a partir deles.
Este livro serve como introdução à Teoria da Quantificação e como uma exposição de
novos resultados e técnicas concernentes aos métodos "analíticos" ou "sem corte", além
de enfatizar o ponto de vista dos tableaux em virtude de sua fascinante simplicidade e
elegância matemática.
Posição #23330 na lista de mais vendidos da Livraria 30porcento.
Dados Técnicos
Páginas: 208
Peso: 314g
ISBN: 9788571395206