Proof theory
Author(s)
Bibliographic Information
Proof theory
(Studies in logic and the foundations of mathematics, v. 81)
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science, 1987
2nd ed
Available at / 49 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: U.STAK||3||3(2)87004824
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
U.Sdc19:511.3/T1392070101024
-
No Libraries matched.
- Remove all filters.
Note
Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968
Includes bibliographies and index