Proof theory
Author(s)
Bibliographic Information
Proof theory
(Studies in logic and the foundations of mathematics, v. 81)
North-Holland Pub. Co , American Elsevier Pub. Co., 1975
- American Elsevier
- North-Holland
Related Bibliography 1 items
-
-
Proof theory / Gaisi Takeuti
BA41908970
-
Proof theory / Gaisi Takeuti
Available at / 81 libraries
-
Library & Science Information Center, Osaka Prefecture University
American Elsevier410.810006033595
-
Science and Technology Library, Kyushu University
North-Holland027232003335493,
022232000016791 -
Library, Research Institute for Mathematical Sciences, Kyoto University数研
North-HollandTAK||3||32246359
-
Library, Tokyo University of Marine Science and Technology科国際海洋政策
North-Holland413.9/Ta67112561
-
Hokkaido University, Faculty and Graduate School of Engineering図書
American Elsevierdc16:511.3/t1393520909597
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
dc19:511/t1392020899743
-
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 in the summer of 1968
Includes index