αρχείο Email: Proof theory and automated deduction/