Structural proof theory /
Negri, Sara,1967-
Plato, Jan von.
Cambridge : Cambridge University Press,
2001.
Includes bibliographical references and indexes.
Proof theory.