Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Regular price
Checking stock...
Regular price
Checking stock...
World of Books
At World of Books, you’ll find millions of preloved reads at great prices, from bestsellers to hidden gems. Every book you buy saves money and helps reduce waste, so you can read more for less while giving stories a second life.
The feel-good place to buy books
- Free US shipping over $15
- Buying preloved emits 41% less CO2 than new
- Millions of affordable books
- Give your books a new home - sell them back to us!
Feferman, S.: - S. Feferman works in the Department of Mathematics and Philosophy at Stanford University, California.
| SKU | Unavailable |
| ISBN 13 | 9783540111702 |
| ISBN 10 | 3540111700 |
| Title | Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies |
| Author | W Buchholz |
| Series | Lecture Notes In Mathematics |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 1981-12-01 |
| Number of pages | 384 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |