Logica De Primeira Ordem

Título: Logica De Primeira Ordem

Autor: RAYMOND SMULLYAN

Sinopse: 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.

Editora: Unesp

Páginas:

Ano: 2009

Edição: Cincias Exatas

Linguagem: pt-br

ISBN: 8571395209

ISBN13: 9788571395206