zbMATH — the first resource for mathematics

Proof theory. (English) Zbl 0355.02023
Studies in Logic and the Foundations of Mathematics. Vol. 81. Amsterdam - Oxford: North-Holland Publishing Company; New York: American Elsevier Publishing Company, Inc. VII, 372 p. Dfl. 85.00; $ 35.50 (1975).

03F99 Proof theory and constructive mathematics
03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations