Lecture Notes in Mathematics > Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies > 78-142
Source
Identifiers
series ISSN : | 0075-8434 |
book ISBN : | 978-3-540-11170-2 |
book e-ISBN : | 978-3-540-38649-0 |
DOI | 10.1007/BFb0091896 |