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 à T eoria 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.

Autor	Smullyan, Raymond M.
Editora	UNESP
ISBN	8571395209
EAN	9788571395206
Categoria	Matemática / Geral
Assunto	História e Filosofia
Páginas	208
Número da Edição	1
Ano da Edição	2009