Conte aos seus amigos sobre este item:
Models of Peano Arithmetic - Oxford Logic Guides Kaye, Richard (Junior Research Fellow, Junior Research Fellow, Jesus College, Oxford)
Preço
R$ 1.559,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 2 - 8 de out
Receba avisos sobre novos lançamentos de Kaye, Richard (Junior Research Fellow, Junior Research Fellow, Jesus College, Oxford)
Adicione à sua lista de desejos do iMusic
Models of Peano Arithmetic - Oxford Logic Guides
Kaye, Richard (Junior Research Fellow, Junior Research Fellow, Jesus College, Oxford)
An introduction to the developments of nonstandard models. Beginning with Godel's incompleteness theorem, it covers the prime models, cofinal extensions, and extensions, Gaifman's construction of a definable type, Tennenbaum's theorem and Friedman's theorem on indicators, ending with a chapter on recursive saturation and resplendency.
302 pages, line illustrations
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 31 de janeiro de 1991 |
| ISBN13 | 9780198532132 |
| Editoras | Oxford University Press |
| Páginas | 302 |
| Dimensões | 163 × 239 × 22 mm · 606 g |
| Idioma | Inglês |