zbMATH — the first resource for mathematics

Proof theory. (English) Zbl 0354.02027
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-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations