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...
Proud to be B-Corp
Our business meets the highest standards of verified social and environmental performance, public transparency and legal accountability to balance profit and purpose. In short, we care about people and the planet.
The feel-good place to buy books
- Free delivery in the UK
- Supporting authors with AuthorSHARE
- 100% recyclable packaging
- B Corp - kinder to people and planet
- Buy-back with World of Books - Sell Your Books
Feferman, S.: - S. Feferman works in the Department of Mathematics and Philosophy at Stanford University, California.
| SKU | Nicht verfügbar |
| ISBN 13 | 9783540111702 |
| ISBN 10 | 3540111700 |
| Titel | Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies |
| Autor | W Buchholz |
| Serie | Lecture Notes In Mathematics |
| Buchzustand | Nicht verfügbar |
| Bindungsart | Paperback |
| Verlag | Springer |
| Erscheinungsjahr | 1981-12-01 |
| Seitenanzahl | 384 |
| Hinweis auf dem Einband | Die Abbildung des Buches dient nur Illustrationszwecken, die tatsächliche Bindung, das Cover und die Auflage können sich davon unterscheiden. |
| Hinweis | Nicht verfügbar |