αρχείο Email: A logical approach to discrete math /