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