## Structural Properties of Proofs in Mathematical Theories.

by
Jan Ekman

by
Jan Ekman