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.

SKU	217436
Autor	SMULLYAN, RAYMOND
Editora	UNESP EDITORA
ISBN	9788571395206
EAN	9788571395206
Categoria	Ciências Exatas
Assunto	Matemática
Páginas	188
Número da Edição
Ano da Edição	2018
Encadernação	brochura