Some combinatorics behind proofs. Submitted for publication (1996)

by A Carbone