Calcule o frete:
Para envios internacionais, simule o frete no carrinho de compras.
Editora
ISBN
Páginas
Idioma
Peso
AcabamentoSinopse
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.
Ficha Técnica
Especificações
| ISBN | 9788571395206 |
|---|---|
| Tradutor para link | LOPARIC ANDREA,MAZAK RENE PIERRE,VICENTE LUCIANO |
| Pré venda | Não |
| Peso | 314g |
| Autor para link | SMULLYAN RAYMOND M. |
| Livro disponível - pronta entrega | Não |
| Dimensões | 23 x 16 x 1 |
| Idioma | Português |
| Tipo item | Livro Nacional |
| Número de páginas | 208 |
| Número da edição | 1ª EDIÇÃO - 2009 |
| Código Interno | 571896 |
| Código de barras | 9788571395206 |
| Acabamento | BROCHURA |
| Autor | SMULLYAN, RAYMOND M. |
| Editora | UNESP |
| Sob encomenda | Não |
| Tradutor | LOPARIC, ANDREA | MAZAK, RENE PIERRE | VICENTE, LUCIANO |