Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y., 1968
Author(s)
Bibliographic Information
Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y., 1968
(Studies in logic and the foundations of mathematics)
North-Holland Pub. Co., 1970
Available at / 62 libraries
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
dc19:510/k6240025809296
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
Includes bibliographies