
Conte aos seus amigos sobre este item:
Predicative Arithmetic - Princeton Legacy Library
Edward Nelson
Predicative Arithmetic - Princeton Legacy Library
Edward Nelson
This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain inductive formulas, the bounded ones, are interpretable in Q. A mathematically strong, but logically very weak, predicative arithmetic is constructed. Originally published in 1986. The Princeton Legacy
198 pages, black & white illustrations
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 14 de julho de 2014 |
ISBN13 | 9780691610290 |
Editoras | Princeton University Press |
Páginas | 200 |
Dimensões | 152 × 229 × 11 mm · 425 g (Peso (estimado)) |
Idioma | English |
Mostrar tudo
Mais por Edward Nelson
Ver tudo de Edward Nelson ( por exemplo Paperback Book , Hardcover Book e Book )