PROOF THEORY - Aczel, Peter; Weiner, Stanley S. (Cambridge Cambridge Univ. Pr., 1990)
Collection Of Papers Presented At An International Summer School & Confereence On Proof Theory, Held At Leeds, 1990
Keywords: Proof Theory -- Cong