Extensional Gödel functional interpretation : a consistency proof of classical analysis
Author(s)
Bibliographic Information
Extensional Gödel functional interpretation : a consistency proof of classical analysis
（Lecture notes in mathematics, 306）
Springer-Verlag, 1973
- : u.s.
- : gw
Available at / 65 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: gwL/N||LNM||3062029605
-
Hokkaido University, Faculty and Graduate School of Engineering図書
: u.s.dc16:510/l9643520712258
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science研究室
: gw512.8/L9640026359820
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. 157-161