Proof theory of impredicative subsystems of analysis
Author(s)
Bibliographic Information
Proof theory of impredicative subsystems of analysis
（Studies in proof theory, . Monographs ; 2）
Bibliopolis, c1988
Available at / 20 libraries
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
DC19:511.3/B8532070146963
-
No Libraries matched.
- Remove all filters.
