The power of interaction /
Lund, Carsten,1963-
Cambridge, Mass. ; London : MIT Press,
c1992.
Includes bibliographical references (p. ) and index.
Proof theory.