Some Combinatorics behind Proofs - Alessandra Carbone (1996)