αρχείο Email: Proof, logic and formalization /