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...
The feel-good place to buy books
- Free UK delivery over £5
- 10% off preloved books when you join +Plus
- Buying preloved emits 46% less CO2 than new
- 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 |