Subsystems of second order arithmetic
Author(s)
Bibliographic Information
Subsystems of second order arithmetic
（Perspectives in mathematical logic）
Springer-Verlag, c1999
- : hard
Available at / 30 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: hardSIM||29||198051482
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
: hardDC21:511.3/SI532070466072
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. [413]-424
Includes index
