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.

Leia Mais

Dimensões: 1.10 x 16 x 23 cmPeso: 320 gNº de Páginas: 188

Leia Mais