  Italian master's thesis in Computer Science. It is an overview of the
standard tecniques developed in the field of Proof Theory, ending with some
results in the new field of Deep Inference, plus an original contribution
trying to relate Deep Inference and Process Algebras.
