De: R$ 251,50Por: R$ 176,05ou X de
Economia de R$ 75,45
Calcule o frete:
Para envios internacionais, simule o frete no carrinho de compras.
Calcule o valor do frete e prazo de entrega para a sua região
Editora
ISBN
Páginas
Idioma
Peso
AcabamentoSinopse
This reprint of Kleene's 1967 text provides an elementary but thorough treatment of mathematical logic of the first order. Kleene (formerly: mathematics, University of Wisconsin, Madison) covers a variety of methods and techniques including model theory (truth tables), Hilbert-type proof theory, and proof theory through derived rules. Subsequent chapters cover topics formal number theory, Godel's completeness theorem, Genzen's theorem, Skolem's paradox, and nonstandard models of arithmetic.
Ficha Técnica
Especificações
| ISBN | 9780486425337 |
|---|---|
| Pré venda | Não |
| Peso | 464g |
| Autor para link | KLEENE STEPHEN COLE |
| Livro disponível - pronta entrega | Não |
| Dimensões | 23 x 16 x 2 |
| Tipo item | Livro Importado |
| Número de páginas | 416 |
| Número da edição | 1ª EDIÇÃO - 2002 |
| Código Interno | 79000 |
| Código de barras | 9780486425337 |
| Acabamento | PAPERBACK |
| Autor | KLEENE, STEPHEN COLE |
| Editora | DOVER PUBLICATIONS |
| Sob encomenda | Sim |