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.
| Código: |
9788571395206 |
| EAN: |
9788571395206 |
| Peso (kg): |
0,000 |
| Altura (cm): |
23,00 |
| Largura (cm): |
16,00 |
| Espessura (cm): |
1,00 |
| Especificação |
| Autor |
Smullyan, Raymond M. |
| Editora |
UNESP |
| Ano Edição |
2009 |
| Número Edição |
1 |
