1658907
9780521793070
This work is an introduction to the central methods of structural proof theory, and a work of research that contains results on proof-theoretical systems, including extensions of such systems from logic to mathematics.Negri, Sara is the author of 'Structural Proof Theory', published 2001 under ISBN 9780521793070 and ISBN 0521793076.
[read more]