Predicative Arithmetic - Edward Nelson
-25% koodilla BOOKS
Toimitus 17-23 arkipäivässä
30 päivän palautusoikeus
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 Library uses the latest print-on-demand technology to again ma ... Täydellinen kuvaus
Saatat myös pitää
TOP
Six Not-so-easy Pieces: Einstein's Relativity, Symmetry, and Space-Time
Richard P. Feynman, Robert B. Leighton, Matthew Sands
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Six Easy Pieces: Essentials of Physics Explained by Its Most Brilliant Teacher
Richard P. Feynman, Robert B. Leighton, Matthew Sands
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Behave: The Biology of Humans at Our Best and Worst
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Determined: The Science of Life Without Free Will
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Beyond Inheritance: Our Ever-Mutating Cells and a New Understanding of Health
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
The Age of Alchemy: How Early Innovators Shaped Modern Chemistry
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
The Secrets of our DNA: How Genetics has Changed the World
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Introduction to Quantum Mechanics
Darrell F. Schroeter, David J. Griffiths
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Why We Sleep: Unlocking the Power of Sleep and Dreams
-25% koodilla BOOKS
Varastossa
TOP
Biology: A Global Approach, Global Edition
Neil Campbell, Rebecca Orr, Lisa Urry, Peter Minorsky, Michael Cain, Jane Reece, Steven Wasserman
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Why Machines Learn: The Elegant Maths Behind Modern AI
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
A Short History of Nearly Everything 2.0
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Astrophysics for People in a Hurry: Essays on the Universe and Our Place Within It
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
The Rise and Fall of the Dinosaurs: A New History of a Lost World
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
The Rise and Reign of the Mammals: A New History, from the Shadow of the Dinosaurs to Us
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Learn Faster, Perform Better: A Musician's Guide to the Neuroscience of Practicing
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
A Brief History of Time: From the Big Bang to Black Holes
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Thing Explainer: Complicated Stuff in Simple Words
-25% koodilla BOOKS
Toimittajalla varastossa
Kuvaus
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 Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.
Lisätietoja
| Kirjoittaja | Edward Nelson |
|---|---|
| Julkaisija | Princeton University Press |
| Julkaisuvuosi | 2016 |
| Kannen tyyppi | Kovakantinen |
| EAN | 9780691638423 |