LÓGICA DE PRIMEIRA ORDEM
SMULLYAN, RAYMOND M. / LOPARIC, ANDREA M. A. DE CAMPOS / MAZAK, RENE PIERRE / VICENTE, LUCIANO
Quantidade limitada no estoque. Envio imediato.
Editora Unesp
Área MATEMÁTICA
Idioma Português
Número de páginas 188
Edição 1ª EDIÇÃO - 2009
ISBN 8571395209
EAN 9788571395206
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' , além de enfatizar o ponto de vista dos tableaux em virtude de sua simplicidade e elegância matemática.