Foundations of constructive mathematics : metamathematical studies
Author(s)
Bibliographic Information
Foundations of constructive mathematics : metamathematical studies
（Ergebnisse der Mathematik und ihrer Grenzgebiete, 3 . Folge ; Bd. 6）
Springer-Verlag, c1985
- U.S.
- Germany
- : pbk
Available at / 84 libraries
-
University of Tsukuba Library, Library on Library and Information Science
Germany410.9-B3240901008030
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science研究室
GermanyDC16:511.3/B3922021259033
-
General Library Yamaguchi University
U.S.410.8/E732/F3-60086248413,
Germany410.8/E732/F3-60085209481, 410.8/E732/F3-60085213171 -
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. [439]-449
Includes indexes
