Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897)
Full Title: | Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897) |
---|---|
ISBN: | 3540111700 |
ISBN13: | 9783540111702 |
List Price: | USD $46.00 |
Authors: |
Buchholz, W. Feferman, S. Pohlers, W. Sieg, W. |