Proof theory and intuitionistic systems
Author(s)
Bibliographic Information
Proof theory and intuitionistic systems
（Lecture notes in mathematics, 212）
Springer-Verlag, 1971
- : Germany
- : U.S.
Available at / 70 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: GermanyL/N||LNM||2121810889
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science数学
: Germany/SCA 762080107352
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. [291]
