Proof theory
Author(s)
Bibliographic Information
Proof theory
(Studies in logic and the foundations of mathematics, v. 81)
UT Back-in-Print Service, 1975
- American Elsevier
- North-Holland
Related Bibliography 1 items
-
-
Proof theory / Gaisi Takeuti
BA04661981
-
Proof theory / Gaisi Takeuti
Available at / 3 libraries
-
University of Miyazaki Library/ Library Director:Ikari Tetsuo図
North-Holland410.8||S9||1-81T0020421
-
No Libraries matched.
- Remove all filters.
Note
Reprint. Originally published : Amsterdam : North-Holland Pub. Co.
Reprint. Originally published : New York : American Elsevier Pub. Co. , 1975
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