Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
Author(s)
Bibliographic Information
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
（Lecture notes in mathematics, 897）
Springer-Verlag, 1981
- : Berlin
- : New York
Available at / 74 libraries
-
Library & Science Information Center, Osaka Prefecture University
: BerlinNDC8:410.810007227396
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNM||8978201099S
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science研究室
: Berlin510/L4972021140278
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. [358]-368
Includes index
